mukeshtiwari / IdrisLinks
Codes related to Idris
☆15Updated 9 years ago
Alternatives and similar repositories for Idris
Users that are interested in Idris are comparing it to the libraries listed below
Sorting:
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 5 years ago
- A redis client for Racket.☆17Updated 10 years ago
- Examples of the nice parts of Racket☆22Updated 7 years ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Updated 7 years ago
- ☆41Updated 10 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Alice ML implementation☆17Updated 2 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- A Java JIT compiler written in Haskell☆72Updated 11 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Updated 6 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆23Updated 12 years ago
- ☆35Updated 5 years ago
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆59Updated 5 years ago
- Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014☆73Updated 4 years ago
- Distributed computing library☆35Updated 6 years ago
- Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.☆23Updated 9 years ago
- *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers☆27Updated 9 years ago
- Relational Programming in miniKanren☆52Updated 10 years ago
- Jupyter notebooks☆58Updated 6 months ago
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Updated 5 years ago
- The MLtonLibrary repository☆36Updated 2 years ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- ☆14Updated last month
- JVM implementation in Haskell☆44Updated 9 months ago
- A minimal example of the Idris C FFI☆14Updated 10 years ago
- Shen KLambda to KLVM translator.☆30Updated 9 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- JVM code generation☆32Updated 6 years ago