andrevdm / SimpleHaskellStackVM
Simple demonstration stack based virtual machine written in Haskell
☆42Updated 8 years ago
Alternatives and similar repositories for SimpleHaskellStackVM:
Users that are interested in SimpleHaskellStackVM are comparing it to the libraries listed below
- JHC Haskell compiler split into reusable components☆57Updated 6 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 5 months ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 4 years ago
- Interpreter for GHC Haskell☆22Updated 5 years ago
- SPJ's tutorial on implementing functional languages☆28Updated 5 years ago
- ☆41Updated 7 years ago
- ☆35Updated 5 years ago
- Hopefully verifiable code generation in GHC☆94Updated 7 years ago
- Some useful control operators for looping☆47Updated 4 years ago
- Examples of a simple parser written in both Parsec and Happy/Alex☆49Updated 9 years ago
- A collection of Notes on GHC☆69Updated 5 years ago
- Paris Functional Programming Meetup☆27Updated 4 years ago
- Implement monads by specifying instructions and their desired operational semantics.☆82Updated 7 months ago
- A work stealing scheduler☆75Updated this week
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- The Disco Discus Compiler☆174Updated 5 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Declare and access tuple fields with labels☆58Updated 6 years ago
- Lightweight package providing commonly useful parser combinators☆52Updated 7 months ago
- An implementation of miniKanren in Haskell☆77Updated 11 years ago
- Generic functions for single-sorted first-order structural unification☆40Updated 2 weeks ago
- Literature review of GHC's Core language, System FC☆66Updated 6 years ago
- Haskell Functional Reactive Programming framework with type-level clocks☆128Updated this week
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- Alternative API for processes, featuring more type safety☆110Updated 4 months ago
- Fast parsing from bytestrings☆154Updated 2 weeks ago
- compile your own functional language☆36Updated 5 years ago
- Benchmarks to compare Haskell streaming library performance☆103Updated 2 months ago
- ☆99Updated last week
- GRIN backend for Idris☆51Updated 4 years ago