cocreature / nanovg-hsLinks
NanoVG Haskell bindings
☆22Updated 2 years ago
Alternatives and similar repositories for nanovg-hs
Users that are interested in nanovg-hs are comparing it to the libraries listed below
Sorting:
- Continuously varying values, made easy :)☆42Updated 5 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 5 months ago
- Funny little Haskell impl☆18Updated 4 years ago
- A natural transformation package☆16Updated 2 months ago
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago
- Deep evaluation of data structures☆41Updated 8 months ago
- The Hadrian build system for GHC☆9Updated 6 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25Updated 6 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
- Clean up the formatting of 'show' output☆21Updated 3 weeks ago
- An OS written in Idris (eventually...)☆19Updated 10 years ago
- Haskell library for glob matching☆25Updated 3 years ago
- Haskell parsing combinator liibrary that can be fed the input and emit the parsed output incrementally☆23Updated last month
- phantom types☆38Updated 3 months ago
- Reading, writing and manipulating ".tar" archive files.☆40Updated 3 months ago
- Flexible Haskell library for parsing and printing S-Expressions☆20Updated 7 months ago
- A usable type system for call by push-value☆33Updated 5 years ago
- http://www.reddit.com/r/haskell/comments/cr15z/visualprof_profiles_your_haskell_program_and/?sort=hot☆59Updated 9 years ago
- Types for ldtk☆15Updated last year
- open union and open product types in Haskell☆32Updated 4 years ago
- Build tool for ATS.☆41Updated 3 years ago
- GHC prof manipulation script☆32Updated last year
- Linear map categories in Agda☆5Updated 2 years ago
- Agda-style equational reasoning in Haskell☆53Updated last month
- Session Types with Priority in Linear Haskell☆26Updated 11 months ago
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- Reification of data structures using observable sharing☆29Updated 7 months ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 7 years ago
- A Haskell implementation of 2048 with Reflex.☆13Updated 7 years ago