cocreature / nanovg-hs
NanoVG Haskell bindings
☆22Updated last year
Alternatives and similar repositories for nanovg-hs:
Users that are interested in nanovg-hs are comparing it to the libraries listed below
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- A natural transformation package☆16Updated 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
- Build tool for ATS.☆41Updated 2 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 2 months ago
- Continuously varying values, made easy :)☆40Updated 5 years ago
- Haskell parsing combinator liibrary that can be fed the input and emit the parsed output incrementally☆23Updated last year
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- Deep evaluation of data structures☆41Updated 4 months ago
- GHC prof manipulation script☆32Updated 11 months ago
- Haskell package for representation, parsing, and pretty-printing of GLSL☆31Updated last year
- An OS written in Idris (eventually...)☆19Updated 9 years ago
- It's Data.Graph, but it doesn't suck!☆16Updated 3 years ago
- Interpreter for functional pure type systems.☆21Updated 7 years ago
- phantom types☆38Updated last month
- Haskell98 indexed functors, monads, comonads☆25Updated 2 years ago
- Reading, writing and manipulating ".tar" archive files.☆40Updated 2 weeks ago
- Keep your laziness in check!☆32Updated 2 years ago
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆17Updated last week
- 💧 Liquid Haskell integration for Cabal and Stack☆23Updated 5 years ago
- Dependently typed elimination functions using singletons☆28Updated 2 weeks ago
- Asymptotically optimal Brodal/Okasaki heaps☆30Updated last month
- Efficient parser combinators for Haskell☆39Updated 9 months ago
- A nice Haskell graphics API. There's always room for jello.☆41Updated 6 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 6 years ago
- open union and open product types in Haskell☆32Updated 4 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated last month
- Clean up the formatting of 'show' output☆21Updated 4 months ago