isovector / nimic
a language about nothing
☆19Updated 5 years ago
Related projects: ⓘ
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- A port of the gloss library from Haskell to Idris☆22Updated 6 years ago
- Symbol manipulation☆35Updated last year
- Abstract, inspectable JSON representation of Haskell objects☆27Updated 2 years ago
- Ghosts of Departed Proofs☆60Updated 3 years ago
- Classes for types where we know all the values☆37Updated 4 months ago
- Interpreter for Joy in Haskell using extensible-effects☆34Updated 7 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆47Updated 3 weeks ago
- Compile Dhall expressions to Cabal files☆100Updated last year
- Type-safe open unions in Haskell☆30Updated 6 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- Efficient parser combinators for Haskell☆39Updated 5 months ago
- A simple, purely-functional programming language☆24Updated 2 years ago
- Haskell Type Level Example Programs☆29Updated 6 years ago
- Automatic type class law checking.☆24Updated 9 months ago
- Keep your laziness in check!☆32Updated 2 years ago
- A nice Haskell graphics API. There's always room for jello.☆41Updated 6 years ago
- GHC prof manipulation script☆30Updated 7 months ago
- A GHC plugin to derive instances.☆23Updated last year
- GraphQL Schema generation in Haskell☆17Updated 4 years ago
- Asymptotically optimal Brodal/Okasaki heaps☆29Updated last year
- Game NetCode Solved☆23Updated 3 years ago
- high-powered optics in a small package☆49Updated 4 months ago
- Nat, Fin, Vec☆23Updated 3 weeks ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- Composable Concurrent Computation Done Right☆29Updated last year
- A natural transformation package☆16Updated 11 months ago
- Reification of data structures using observable sharing☆28Updated 4 months ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago