ambuc / corneaLinks
šļø Isometric 3D Graphing / Rendering module for Haskell
ā15Updated 7 years ago
Alternatives and similar repositories for cornea
Users that are interested in cornea are comparing it to the libraries listed below
Sorting:
- Easy bidirectional serialization in Haskellā49Updated 6 years ago
- Simple reflection of expressionsā33Updated 3 years ago
- Classes for types where we know all the valuesā39Updated 5 months ago
- GHC patched with the -fcompact-holes flagā11Updated 6 years ago
- Folds for recursive types with GHC Genericsā26Updated 5 years ago
- Deriving Storable instances using GHC.Genericsā16Updated 3 years ago
- A nice Haskell graphics API. There's always room for jello.ā41Updated 7 years ago
- Generate a command line client from a servant APIā28Updated last year
- Dependently typed elimination functions using singletonsā28Updated 5 months ago
- A monadic interface for DAG construction.ā24Updated 4 years ago
- Agda-style equational reasoning in Haskellā53Updated 2 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
- Safe web routing in haskellā30Updated 2 years ago
- Lens interface for your filesystemā22Updated 4 years ago
- Combine and enhance Functorsā39Updated last year
- Reification of data structures using observable sharingā29Updated 7 months ago
- Efficient parser combinators for Haskellā39Updated last week
- Category theory concepts in type classes and instances.ā22Updated 2 weeks ago
- Web front UI for interactive Haskell projectsā33Updated 5 years ago
- Tools for functors from Hask^k to Haskā23Updated 5 years ago
- ā41Updated 7 years ago
- Reasonable Haskell default importā27Updated 2 years ago
- Refined typesā57Updated 6 years ago
- Small implementation of OutsideIn(X) type checking algorithmā31Updated 10 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.ā34Updated 7 years ago
- ā15Updated last year
- Sift through Haskell code for analysis purposesā18Updated 6 years ago
- An interpreted lambda calculus with Algebraic and Recursive Types.ā17Updated 3 years ago
- checkers for algebra driven designā34Updated 2 years ago
- Use JuicyPixels datatypes in Servant Requests/Responses directlyā19Updated last year