Skip to content
<awesome-gh-repos>
vic

lenary/idris-erlang

Erlang Backend for Idris Compiler
Source code at GitHub https://lenary.co.uk/publications/bsc_dissertation/
lenary/idris-erlang.json
{
  "createdAt": "2014-11-13T20:08:43Z",
  "defaultBranch": "master",
  "description": "Erlang Backend for Idris Compiler",
  "fullName": "lenary/idris-erlang",
  "homepage": "https://lenary.co.uk/publications/bsc_dissertation/",
  "language": "Haskell",
  "name": "idris-erlang",
  "pushedAt": "2017-07-01T20:41:18Z",
  "stargazersCount": 187,
  "topics": [],
  "updatedAt": "2025-09-23T02:37:26Z",
  "url": "https://github.com/lenary/idris-erlang"
}

404: Not Found