ambuc / corneaLinks
šļø Isometric 3D Graphing / Rendering module for Haskell
ā15Updated 8 years ago
Alternatives and similar repositories for cornea
Users that are interested in cornea are comparing it to the libraries listed below
Sorting:
- GHC patched with the -fcompact-holes flagā11Updated 6 years ago
- Small implementation of OutsideIn(X) type checking algorithmā31Updated 10 years ago
- A monadic interface for DAG construction.ā24Updated 4 years ago
- š Idris implementation of patricia treeā23Updated 4 years ago
- Folds for recursive types with GHC Genericsā28Updated 3 weeks ago
- Modern compiler implementation in ML, in Haskellā16Updated 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
- Dependently typed elimination functions using singletonsā28Updated 8 months ago
- Tools for functors from Hask^k to Haskā23Updated 6 years ago
- Reasonable Haskell default importā27Updated 2 years ago
- A partial binary associative operator (appendMaybe :: a ā a ā Maybe a)ā13Updated 10 months ago
- Agda-style equational reasoning in Haskellā54Updated 4 months ago
- Delete half (minus ε) of your Haskell code!ā30Updated 3 weeks ago
- Dependently typed convolutional neural networksā35Updated 8 years ago
- Free Algebras in Haskellā37Updated last year
- Using Backpack to abstract over the main Haskell streaming libraries.ā34Updated 7 years ago
- Web front UI for interactive Haskell projectsā33Updated 5 years ago
- an applicative functor that seamlessly talks to HTML inputsā72Updated 6 years ago
- Reification of data structures using observable sharingā29Updated 10 months ago
- Combine and enhance Functorsā39Updated 2 weeks ago
- Talk on generic parallel scanā14Updated 8 years ago
- A Haskell library providing separation of effects on the type level, effectively splitting up the monolithic IO-monad into more limited cā¦ā27Updated 7 years ago
- Efficient parser combinators for Haskellā39Updated last month
- Recursion schemes for Idrisā64Updated 7 years ago
- Lens interface for your filesystemā22Updated 4 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis projectā17Updated 6 years ago
- Programmatically create new instances using core-to-core pluginsā11Updated 4 years ago
- ā23Updated 8 years ago
- Clowns to the left of me, jokers to the rightā15Updated 5 years ago
- An experiment in functional interface designā24Updated 8 years ago