10 results found Sort:
- Filter by Primary Language:
- Idris (4)
- JavaScript (1)
- Rust (1)
- Scala (1)
- +
JVM bytecode back end for Idris
Created
2016-07-17
3,632 commits to main branch, last one 5 days ago
A curated set of links to formal methods involving provable code.
Created
2017-11-10
16 commits to master branch, last one 2 years ago
Project templates in rust
Created
2017-04-30
637 commits to master branch, last one 3 years ago
Idris version of Domain Modeling Made Functional Book.
Created
2021-04-05
126 commits to main branch, last one 3 years ago
A SuperCompiler for Martin-Löf's Type Theory
Created
2013-10-15
527 commits to master branch, last one 2 years ago
Collaborative documentation for and from Jean Zay users. Official Jean Zay documentation: http://www.idris.fr/eng/jean-zay/
Created
2019-11-15
97 commits to master branch, last one 3 months ago
Idris for Visual Studio Code
Created
2016-09-02
315 commits to master branch, last one 7 years ago
TParsec - Total Parser Combinators in Idris
Created
2017-11-18
43 commits to master branch, last one 4 years ago
Book: Introduction to Dependent Types with Idris
Created
2018-08-01
328 commits to master branch, last one about a year ago
The Dart backend for Idris 2.
Created
2020-08-29
188 commits to main branch, last one 3 years ago