kuribas / cubicbezierLinks
Haskell library for manipulating cubic bezier curves
☆19Updated 11 months ago
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
- Indexed Functors for GHC 7.6☆22Updated 5 years ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆21Updated 3 years ago
- A port of miniprl to Haskell with co-/inductive types bolted on the side.☆22Updated 9 years ago
- ☆19Updated 9 years ago
- TODO☆23Updated 9 years ago
- Type-safe open unions in Haskell☆32Updated 7 years ago
- Relational algebra implementation in Agda with simple bindings to SQLITE☆12Updated last year
- A dependently typed type checker for a TT with intervals☆23Updated 5 years ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- Fixpoint data types☆20Updated 5 months ago
- fast utf-8 character sets☆13Updated 3 months ago
- SVG Combinators for Haskell☆23Updated 7 years ago
- Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff☆13Updated 7 years ago
- Diploma work (if this is still here contact me if you need details)☆13Updated 8 years ago
- Formalization of Opetopes and Opetopic Sets in Agda☆18Updated 8 years ago
- A simple implementation of linear type theory☆38Updated 8 years ago
- Uniform interface to reified data type information via Template Haskell☆21Updated 3 months ago
- Reification of data structures using observable sharing☆29Updated 7 months ago
- The Prettiest Printer☆34Updated last year
- Dependently typed core calculus with erasure☆19Updated 3 years ago
- Some basic categorical & algebraic structures for Standard ML☆9Updated 7 years ago
- Hakyll support for Agda literate files☆19Updated 3 years ago
- ☆23Updated last year
- Alternative Core language for GHC plugins☆39Updated 9 years ago
- A library and case-study for linear, intrinsically-typed interpreters in Agda☆35Updated 5 years ago
- Visualization of Haskell data structures☆16Updated last year
- Deciding Presburger arithmetic in agda☆32Updated 2 years ago
- ☆32Updated 8 years ago
- A port of the gloss library from Haskell to Idris☆22Updated 6 years ago