jaseemabid / lisperLinks
A tiny scheme interpreter in Haskell
☆24Updated 6 years ago
Alternatives and similar repositories for lisper
Users that are interested in lisper are comparing it to the libraries listed below
Sorting:
- Recursion schemes for Idris☆64Updated 7 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- ☆41Updated 8 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 10 months ago
- Build tool for ATS.☆42Updated 3 years ago
- ☆23Updated 8 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- An OS written in Idris (eventually...)☆20Updated 10 years ago
- Morte IDE☆29Updated 4 months ago
- Diploma work (if this is still here contact me if you need details)☆13Updated 8 years ago
- A port of Apache Sparks to Haskell using distributed process☆33Updated 8 years ago
- Dive into GHC☆82Updated 8 years ago
- xmonad in Coq☆46Updated 13 years ago
- Paris Functional Programming Meetup☆27Updated 5 years ago
- Static blog generator in Idris.☆40Updated 10 years ago
- Elaborate and expressive S-Expression library for Haskell☆62Updated last year
- A general purpose programming language with linear types☆43Updated 8 years ago
- NES programming in Haskell? No way!☆38Updated 9 years ago
- GRIN backend for Idris☆50Updated 5 years ago
- Invertible parsing for S-expressions☆34Updated 4 months ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Updated 10 years ago
- Resurrecting Lennart Augustsson's implementation of Cayenne☆38Updated 12 years ago
- Open records for Haskell