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
- Clean up the formatting of 'show' output☆21Updated 7 months ago
- Deep evaluation of data structures☆41Updated 6 months ago
- Funny little Haskell impl☆18Updated 4 years 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
- Haskell package for representation, parsing, and pretty-printing of GLSL☆31Updated last year
- GHC prof manipulation script☆32Updated last year
- Build tool for ATS.☆41Updated 2 years ago
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- A natural transformation package☆16Updated 3 weeks ago
- More strongly typed variant of the ixset Haskell package☆24Updated 7 months ago
- 💧 Liquid Haskell integration for Cabal and Stack☆24Updated 5 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Reading, writing and manipulating ".tar" archive files.☆40Updated 3 weeks ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆48Updated last week
- Invertible parsing for S-expressions☆34Updated 6 months ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- Asymptotically optimal Brodal/Okasaki heaps☆30Updated 3 months ago
- Dependently typed elimination functions using singletons☆28Updated 2 months ago
- An OS written in Idris (eventually...)☆19Updated 10 years ago
- Haskell library for glob matching☆25Updated 3 years 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
- open union and open product types in Haskell☆32Updated 4 years ago
- Agda-style equational reasoning in Haskell☆52Updated 2 months ago
- 🌋 Idris implementation of patricia tree☆22Updated 4 years ago
- Dependently-typed finite maps (partial dependent products)☆65Updated last month
- Session Types with Priority in Linear Haskell☆26Updated 9 months ago
- ☆35Updated 6 months ago
- Zippers based on lenses and traversals☆38Updated last year