ambuc / cornea
👁️ Isometric 3D Graphing / Rendering module for Haskell
☆15Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for cornea
- Classes for types where we know all the values☆37Updated 6 months ago
- A monadic interface for DAG construction.☆24Updated 3 years ago
- An interpreted lambda calculus with Algebraic and Recursive Types.☆18Updated 3 years ago
- Agda-style equational reasoning in Haskell☆51Updated 6 months ago
- Wave function collapse procedural generation for arbitrary graphs☆15Updated 5 years ago
- A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…☆16Updated 6 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Efficient parser combinators for Haskell☆39Updated 7 months ago
- Folds for recursive types with GHC Generics☆26Updated 4 years ago
- Category theory concepts in type classes and instances.☆20Updated last month
- Talk on generic parallel scan☆14Updated 7 years ago
- Type Theory with Indexed Equality☆23Updated 7 years ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆21Updated 5 years ago
- 🌋 Idris implementation of patricia tree☆22Updated 4 years ago
- A nice Haskell graphics API. There's always room for jello.☆41Updated 6 years ago
- GHC patched with the -fcompact-holes flag☆11Updated 6 years ago
- Simple reflection of expressions☆33Updated 3 years ago
- Lens interface for your filesystem☆22Updated 3 years ago
- Deriving Storable instances using GHC.Generics☆15Updated 2 years ago
- checkers for algebra driven design☆34Updated 2 years ago
- Dependently typed elimination functions using singletons☆28Updated 3 weeks ago
- Tools for functors from Hask^k to Hask☆23Updated 5 years ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆14Updated last month
- Safe web routing in haskell☆30Updated last year
- System F implemented in Haskell☆24Updated 12 years ago
- A command-line tool for live monitoring☆25Updated 2 years ago
- ☆23Updated 7 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Updated 4 years ago
- Closure calculus implementation☆12Updated 5 years ago
- Modern compiler implementation in ML, in Haskell☆16Updated 6 years ago