Linking pages
- Idris 2 version 0.2.1 Released https://www.idris-lang.org/idris-2-version-021-released.html 24 comments
- GitHub - chrrasmussen/Idris2-Erlang: Erlang code generator for Idris 2 https://github.com/chrrasmussen/Idris2-Erlang 14 comments
- Idris 2 version 0.3.0 Released https://www.idris-lang.org/idris-2-version-030-released.html 12 comments
- Idris 2 version 0.2.0 Released https://www.idris-lang.org/idris-2-version-020-released.html 10 comments
- Idris 2 Bootstrap Compiler on the JVM With a JVM Backend - mmhelloworld http://mmhelloworld.github.io/blog/2020/12/30/idris-2-bootstrap-compiler-on-the-jvm-with-a-jvm-backend/ 8 comments
- GitHub - joelberkeley/spidr: Accelerated machine learning with dependent types https://github.com/joelberkeley/spidr 8 comments
- Idris 2 version 0.6.0 Released https://www.idris-lang.org/idris-2-version-060-released.html 7 comments
- GitHub - ChessMax/awesome-programming-languages: The list of an awesome programming languages that you might be interested in https://github.com/ChessMax/awesome-programming-languages 7 comments
- GitHub - mmhelloworld/idris-jvm: JVM bytecode back end for Idris https://github.com/mmhelloworld/idris-jvm 3 comments
- Idris 2 version 0.5.0 Released https://www.idris-lang.org/idris-2-version-050-released.html 0 comments
- Idris 2 version 0.4.0 Released https://www.idris-lang.org/idris-2-version-040-released.html 0 comments
- GitHub - jdevuyst/rekenaar: Idris tactics for (commutative) monoids https://github.com/jdevuyst/rekenaar 0 comments
Linked pages
- Idris: A Language for Type-Driven Development http://www.idris-lang.org 258 comments
- Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18 - YouTube https://www.youtube.com/watch?v=mOtKD7ml0NU 51 comments
- Edwin Brady - Idris 2 - Type-driven Development of Idris - YouTube https://www.youtube.com/watch?v=DRq2NgeFcO0 8 comments
- Edwin Brady Tells Us What's New in Idris 2 - YouTube https://www.youtube.com/watch?v=nbClauMCeds 0 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - idris-lang/Idris2: A purely functional programming language with first class types
See how to search.