kuribas / cubicbezierLinks
Haskell library for manipulating cubic bezier curves
☆19Updated last year
Alternatives and similar repositories for cubicbezier
Users that are interested in cubicbezier are comparing it to the libraries listed below
Sorting:
- hmetafont is a DSL for creating variable fonts in haskell, inspired by metafont☆11Updated 8 years ago
- The Prettiest Printer☆35Updated last year
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆22Updated 3 years ago
- A port of miniprl to Haskell with co-/inductive types bolted on the side.☆22Updated 9 years ago
- Replib: generic programming & Unbound: generic treatment of binders☆46Updated 2 years ago
- Type safe abstract binding trees for Haskell, using Vinyl☆16Updated 8 years ago
- ☆18Updated 9 years ago
- ☆26Updated 8 years ago
- SVG loader/serializer for Haskell☆29Updated 2 years ago
- Render LaTeX math to SVG mages☆18Updated last year
- Tiny type-checker with dependent types☆78Updated 11 years ago
- ☆16Updated 6 months ago
- An haskell TrueType file parser☆38Updated 2 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Updated 5 years ago
- Haskell library for PDF generation (graphics and typesetting)☆27Updated 5 years ago
- TODO☆23Updated 10 years ago
- The Alms Programming Language☆44Updated 7 years ago
- Type-safe open unions in Haskell☆32Updated 7 years ago
- Reification of data structures using observable sharing☆29Updated 11 months ago
- Utrecht Haskell Compiler☆42Updated 13 years ago
- Ghosts of Departed Proofs☆61Updated 4 years ago
- Hindley-Milner type inference using constraints☆50Updated 8 years ago
- Persistent vectors for Haskell based on array mapped tries☆27Updated 3 years ago
- Visual tool for stepwise evaluation of simple Haskell expressions☆20Updated 5 years ago
- Hakyll support for Agda literate files☆19Updated 4 years ago
- System F implemented in Haskell☆24Updated 13 years ago
- Alternative Core language for GHC plugins☆39Updated 9 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Updated 3 years ago
- Various efficient-ish sequence types for PureScript.☆47Updated last year
- A lisp dialect written in PureScript☆21Updated 7 years ago