conal / Fran
First Haskell implementations of Fran/FRP
☆32Updated 5 years ago
Alternatives and similar repositories for Fran:
Users that are interested in Fran are comparing it to the libraries listed below
- 🖼️ 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
- Haskell library for semigroup actions and torsors☆60Updated 11 months ago
- Wave function collapse procedural generation for arbitrary graphs☆15Updated 5 years ago
- GRIN backend for Idris☆51Updated 4 years ago
- Universal Live Coding & Functional Reactive Programming Framework☆65Updated 2 months ago
- Generic functions for single-sorted first-order structural unification☆41Updated 2 weeks ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 4 years ago
- An implementation of miniKanren in Haskell☆77Updated 11 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Invertible parsing for S-expressions☆33Updated 4 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 7 years ago
- Church-encoding of the Freer monad☆28Updated 8 years ago
- A monadic approach to static analysis following the methodology of AAM☆19Updated 9 years ago
- Elaborate and expressive S-Expression library for Haskell☆61Updated 6 months ago
- Deep embedding of imperative programs with code generation☆23Updated 2 years ago
- Pre-processor for .hsc files☆38Updated 2 months ago
- A shallow embedding of the OpenGL Shading Language in Haskell☆15Updated 6 years ago
- Provides a type-safe way of working with permutations in Idris☆35Updated 3 years ago
- Hypertypes - generic programming for heterogeneous recursive types☆119Updated this week
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- A talk☆28Updated 3 years ago
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Testing Infrastructure for Temporal AbstractioNs☆22Updated 4 years ago
- FRP library☆60Updated 6 years ago
- being a thing I build on a Saturday☆28Updated 6 years ago
- BDD-based implementation of Datalog☆37Updated 4 years ago
- Fine-grained lattice primitives for Haskell☆35Updated 2 weeks ago