mgrabmueller / harpy
Runtime code generation for x86 machine code
☆25Updated 11 months ago
Related projects: ⓘ
- Hopefully verifiable code generation in GHC☆94Updated 7 years ago
- Haskell optimisation tool based on supercompilation☆25Updated 8 years ago
- playground for working with succinct data structures☆94Updated 8 years ago
- Clojure-style transients for Haskell☆32Updated 2 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- Type-safe library for generating haskell source code☆28Updated 6 years ago
- Dump GHC's abstract syntax trees☆41Updated 2 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 14 years ago
- ☆58Updated 2 months ago
- Dive into GHC☆82Updated 7 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆71Updated 4 years ago
- Monad Transformers and Classes☆78Updated 5 years ago
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆40Updated 8 years ago
- The Disco Discus Compiler☆174Updated 5 years ago
- Simple lambda prover☆24Updated 9 years ago
- VM and tracing JIT for Haskell (work in progress)☆77Updated 9 years ago
- ☆98Updated this week
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 3 years ago
- A Haskell implementation of crit-bit trees.☆138Updated 2 years ago
- A type-checker for Haskell with integer constraints☆40Updated 9 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆45Updated 6 years ago
- Accepted papers for ICFP 2015☆45Updated 8 years ago
- Units of measure as a GHC typechecker plugin☆30Updated last year
- An alternate definition of Haskell's Functor typeclass☆42Updated 5 years ago
- Haskell 98 contravariant functors☆73Updated 2 months ago
- Recursion schemes for Idris☆64Updated 6 years ago
- haskell memory☆47Updated last year
- ☆24Updated this week
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆121Updated last month
- Deep embedding of imperative programs with code generation☆23Updated 2 years ago