mukeshtiwari / IdrisLinks
Codes related to Idris
☆16Updated 10 years ago
Alternatives and similar repositories for Idris
Users that are interested in Idris are comparing it to the libraries listed below
Sorting:
- A Java JIT compiler written in Haskell☆73Updated 12 years ago
- A modern tool for literate programming☆277Updated 8 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 7 years ago
- MLton with Realtime GC and Threading features☆103Updated last year
- The MLtonLibrary repository☆36Updated 2 years ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 5 years ago
- An idris backend compiling to chez scheme☆48Updated 8 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 9 years ago
- Relational Programming in miniKanren☆52Updated 10 years ago
- small-but-featureful embeddable lisp interpreter written in haskell.☆115Updated 12 years ago
- Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014☆73Updated 4 years ago
- Support for static values☆22Updated last year
- ☆41Updated 10 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Updated 10 years ago
- APL compiler written in Standard ML☆36Updated 4 years ago
- Try Idris☆35Updated 10 years ago
- Yes, really!☆11Updated 10 years ago
- playground for working with succinct data structures☆97Updated 10 years ago
- A small implementation of type inference☆80Updated 10 years ago
- xmonad with the X11 abstracted and configured with Idris☆209Updated 6 years ago
- Daemons in Haskell made fun and easy☆27Updated 2 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 7 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 3 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- The Haskell File System: A file system implementation in Haskell☆38Updated 10 years ago
- Propositional calculus in Haskell☆11Updated 8 years ago
- Shell.☆14Updated 8 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Updated 6 years ago
- A redis client for Racket.☆17Updated 10 years ago