MedeaMelana / JsonGrammarLinks
Combinators for bidirectional JSON parsing
☆21Updated 11 years ago
Alternatives and similar repositories for JsonGrammar
Users that are interested in JsonGrammar are comparing it to the libraries listed below
Sorting:
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- ☆26Updated 9 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 3 months ago
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆24Updated 7 years ago
- Make presentations for data types☆25Updated 3 years ago
- Haskell routes using dependent types