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:
- Folds for recursive types with GHC Genericsā28Updated last month
- GHC patched with the -fcompact-holes flagā11Updated 6 years ago
- Small implementation of OutsideIn(X) type checking algorithmā31Updated 10 years ago
- Reasonable Haskell default importā27Updated 3 years ago
- Classes for types where we know all the valuesā39Updated 8 months 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
- An experiment in functional interface designā24Updated 8 years ago
- Lens interface for your filesystemā22Updated 4 years ago
- š Idris implementation of patricia treeā23Updated 4 years ago
- Modern compiler implementation in ML, in Haskellā16Updated 7 years ago
- Tools for functors from Hask^k to Haskā23Updated 6 years ago
- Verified left padā19Updated 7 years ago
- Programmatically create new instances using core-to-core pluginsā11Updated 4 years ago
- Simple reflection of expressionsā34Updated 4 years ago
- Delete half (minus ε) of your Haskell code!ā30Updated last month
- Combine and enhance Functorsā39Updated last month
- Quickcheck Properties for common typeclassesā35Updated 5 months ago
- Sift through Haskell code for analysis purposesā18Updated 7 years ago
- Various type-aligned sequence data structures.ā21Updated 4 years ago
- A monad, perhaps.ā32Updated 5 years ago
- A partial binary associative operator (appendMaybe :: a ā a ā Maybe a)ā13Updated 11 months ago
- An alternate definition of Haskell's Functor typeclassā42Updated 6 years ago
- A monadic interface for DAG construction.ā24Updated 4 years ago
- Clowns to the left of me, jokers to the rightā15Updated 6 years ago
- ā21Updated 3 years ago
- Agda-style equational reasoning in Haskellā54Updated 5 months ago
- an applicative functor that seamlessly talks to HTML inputsā72Updated 6 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agdaā51Updated 7 years ago
- Reification of data structures using observable sharingā29Updated 10 months ago
- deprecated in favor of -XQualifiedDoā41Updated 4 years ago