conal / Fran
First Haskell implementations of Fran/FRP
☆32Updated 5 years ago
Related projects: ⓘ
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- A nice Haskell graphics API. There's always room for jello.☆41Updated 6 years ago
- An implementation of miniKanren in Haskell☆76Updated 11 years ago
- Haskell library for semigroup actions and torsors☆57Updated 7 months ago
- Monadic Javascript Compiler☆73Updated 8 years ago
- Deep embedding of imperative programs with code generation☆23Updated 2 years ago
- Invertible parsing for S-expressions☆33Updated this week
- Recursion schemes for Idris☆64Updated 6 years ago
- ALGT 2.0☆30Updated 4 years ago
- A port of the gloss library from Haskell to Idris☆22Updated 6 years ago
- Continuously varying values, made easy :)☆40Updated 4 years ago
- Homotopy Type Theory proofs in Idris☆21Updated 5 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- JHC Haskell compiler split into reusable components☆16Updated 2 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆71Updated 4 years ago
- ☆25Updated this week
- Classes for types where we know all the values