isovector / nimicLinks
a language about nothing
☆19Updated 5 years ago
Alternatives and similar repositories for nimic
Users that are interested in nimic are comparing it to the libraries listed below
Sorting:
- Game NetCode Solved☆25Updated 4 years ago
- Abstract, inspectable JSON representation of Haskell objects☆26Updated 3 years ago
- GHC prof manipulation script☆32Updated last year
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Type-safe open unions in Haskell☆32Updated 7 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 7 years ago
- A monad for managed values☆51Updated 2 years ago
- Keep your laziness in check!☆33Updated 2 years ago
- Ghosts of Departed Proofs☆60Updated 4 years ago
- ☆23Updated last year
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- Flexible Haskell library for parsing and printing S-Expressions☆20Updated 8 months ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 8 months ago
- Tools for working with derived Show instances in Haskell.☆57Updated 2 years ago
- ASCII-fied arrow notation.☆22Updated last year
- Type Safe LLVM IR ( Experimental )☆49Updated 7 years ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- A GHC plugin to derive instances.☆23Updated 2 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 5 months ago
- A port of the gloss library from Haskell to Idris☆23Updated 7 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- Bidirectional Parsing. Work in Progress☆32Updated 9 months ago
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆29Updated 4 months ago
- First class patterns and pattern matching, using type families☆17Updated 4 years ago
- Example uses of linear types☆43Updated 5 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆56Updated 3 years ago
- Golden tests with Hspec☆27Updated 9 months ago
- Haskell time library focusing on performance☆57Updated 7 months ago
- Asymptotically optimal Brodal/Okasaki heaps☆32Updated 7 months ago