VM and tracing JIT for Haskell (work in progress)
☆79Oct 25, 2014Updated 11 years ago
Alternatives and similar repositories for lambdachine
Users that are interested in lambdachine are comparing it to the libraries listed below
Sorting:
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Dec 13, 2018Updated 7 years ago
- Hindley-Milner type inference using constraints☆50Jan 2, 2017Updated 9 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Nov 27, 2017Updated 8 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 10 years ago
- An experimental intermediate language for GHC☆36Sep 8, 2017Updated 8 years ago
- A simple interpreter featuring a tracing JIT☆16Mar 28, 2011Updated 14 years ago
- Flush system metrics to statsd☆26Jan 8, 2026Updated last month
- ☆18Aug 31, 2022Updated 3 years ago
- Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff☆14Feb 13, 2018Updated 8 years ago
- An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)☆150Sep 30, 2021Updated 4 years ago
- 🎞️ Sprite frames to spritesheet & metadata☆18Jun 17, 2018Updated 7 years ago
- ☆39Oct 19, 2017Updated 8 years ago
- General tools for Neil☆38Feb 2, 2025Updated last year
- ☆138Aug 18, 2021Updated 4 years ago
- JVM code generation☆32Feb 1, 2019Updated 7 years ago
- Haskell JIT☆186Jan 19, 2020Updated 6 years ago
- A Java JIT compiler written in Haskell☆73Sep 7, 2013Updated 12 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Feb 5, 2020Updated 6 years ago
- Inspection Testing for Haskell☆190Jan 17, 2026Updated last month
- a logic-based trust-management system☆19Sep 17, 2012Updated 13 years ago
- ☆38Jan 11, 2026Updated last month
- Graphics engine written in Haskell.☆36Sep 30, 2019Updated 6 years ago
- Generic functions for single-sorted first-order structural unification☆45Updated this week
- Manage Nix Haskell override sets☆11Sep 30, 2018Updated 7 years ago
- GHCJS DOM Hello World, an example package☆10Apr 24, 2025Updated 10 months ago
- Concurrent and efficient implementation of statsd in Haskell☆19Feb 12, 2014Updated 12 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- Haskell Pretty-printer library☆75Jul 28, 2025Updated 7 months ago
- ☆41Jul 2, 2017Updated 8 years ago
- base library for GHCJS for JavaScript interaction and marshalling, used by higher level libraries like JSC☆46Jun 30, 2025Updated 8 months ago
- An alternate definition of Haskell's Functor typeclass☆42Jun 18, 2019Updated 6 years ago
- Tactic Metaprogramming in Haskell☆56Jul 7, 2019Updated 6 years ago
- Filter with effects☆76Jan 5, 2025Updated last year
- ☆21Oct 23, 2016Updated 9 years ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101May 9, 2017Updated 8 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Feb 15, 2019Updated 7 years ago
- Experiments with effect systems☆12Apr 18, 2016Updated 9 years ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Feb 10, 2026Updated 3 weeks ago
- ☆10Mar 16, 2016Updated 9 years ago