cocreature / nanovg-hs
NanoVG Haskell bindings
☆22Updated last year
Related projects ⓘ
Alternatives and complementary repositories for nanovg-hs
- A natural transformation package☆16Updated 2 weeks ago
- Continuously varying values, made easy :)☆40Updated 5 years ago
- Reification of data structures using observable sharing☆28Updated 2 weeks ago
- Deep evaluation of data structures☆41Updated 2 months ago
- A nice Haskell graphics API. There's always room for jello.☆41Updated 6 years ago
- Type-safe open unions in Haskell☆30Updated 6 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- phantom types☆37Updated last month
- 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
- Clean up the formatting of 'show' output☆22Updated 2 months ago
- concurrent mutable ring buffers with atomic updates in GHC Haskell☆11Updated 3 years ago
- GHC prof manipulation script☆30Updated 9 months ago
- Nat, Fin, Vec☆24Updated 2 months ago
- More strongly typed variant of the ixset Haskell package☆23Updated 2 months ago
- A small in-terminal dungeon crawler written in Haskell☆11Updated 6 years ago
- open union and open product types in Haskell☆32Updated 4 years ago
- High-performance JSON parser☆24Updated 6 months ago
- Haskell98 indexed functors, monads, comonads☆25Updated 2 years ago
- Kleene algebra, regular expressions☆32Updated 11 months ago
- fast utf-8 character sets☆13Updated last week
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- Fixed length vector for haskell☆21Updated 7 months ago
- Haskell types and parsers for software version numbers.☆20Updated 5 months ago
- Asymptotically optimal Brodal/Okasaki heaps☆29Updated last week
- Vector & affine spaces, linear maps, and derivatives☆45Updated 3 months ago
- Pure Haskell implementation of SplitMix pseudo-random number generator☆25Updated 3 months ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 6 years ago
- A Haskell implementation of 2048 with Reflex.☆13Updated 7 years ago
- Minimal binary serialization library with focus on performance☆17Updated 3 years ago
- Haskell binding for Chipmunk, 2D physics engine.☆22Updated 9 years ago