mukeshtiwari / Idris
Codes related to Idris
☆15Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for Idris
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- A redis client for Racket.☆17Updated 9 years ago
- The MLtonLibrary repository☆34Updated last year
- JVM implementation in Haskell☆44Updated 2 months ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- Compile-time metaprogramming for OCaml☆71Updated 3 months ago
- Yes, really!☆11Updated 9 years ago
- Mirror of Conor McBride’s 2011 Agda course materials☆11Updated 5 years ago
- Alice ML implementation☆17Updated last year
- System POSIX bindings for Idris.☆36Updated 5 years ago
- A Haskell library to pretty print data in a tabular format☆11Updated 6 years ago
- a parallel, safe, iterative list operation language for systems programming☆16Updated 4 years ago
- MLpolyR☆7Updated 8 years ago
- TiML: A Functional Programming Language with Time Complexity☆75Updated 7 years ago
- *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers☆27Updated 8 years ago
- Generate formatted C++ from Racket S-expressions☆36Updated 9 years ago
- Book: Introduction to Dependent Types with Idris☆76Updated last year
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 4 years ago
- OCaml back end for Idris☆22Updated 6 years ago
- An R5RS Scheme in JavaScript.☆16Updated last year
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Updated 4 years ago
- The Alms Programming Language☆44Updated 6 years ago
- MLton for scalable multicore architectures☆57Updated 10 years ago
- ☆11Updated 2 weeks ago
- An experimental language server for SomewhatML☆24Updated last year
- Yes, it is what you think it is☆33Updated 8 years ago
- Jane Street Capital's standard library overlay☆34Updated 2 weeks ago
- Oleg Kiselyov's minimal implementation of logic programming☆24Updated 11 years ago