jaseemabid / lisper
A tiny scheme interpreter in Haskell
☆24Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for lisper
- A port of Apache Sparks to Haskell using distributed process☆33Updated 8 years ago
- a simple functional language for learners☆30Updated 7 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- ☆41Updated 7 years ago
- An OS written in Idris (eventually...)☆18Updated 9 years ago
- Morte IDE☆29Updated 10 months ago
- SPJ's tutorial on implementing functional languages☆28Updated 5 years ago
- NES programming in Haskell? No way!☆38Updated 8 years ago
- Haskell combinators for executing IO actions in parallel on a thread pool☆47Updated last year
- Static blog generator in Idris.☆39Updated 9 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- JVM implementation in Haskell☆44Updated 2 months ago
- A Specification for Dependent Types in Haskell (Core)☆65Updated 2 years ago
- ☆23Updated 7 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- Compositional type checking for Haskell☆36Updated 13 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- An aggregation of all online content related to Haskell.☆91Updated 6 years ago
- being some experiments, working towards some equipment I wish I had☆37Updated 8 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.☆54Updated 5 years ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 7 years ago
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆24Updated 6 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆47Updated 5 years ago
- Modern compiler implementation in ML, in Haskell☆16Updated 6 years ago
- Simple lambda prover☆24Updated 9 years ago
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆40Updated 8 years ago