GaloisInc / argoLinks
A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW
☆16Updated 3 weeks ago
Alternatives and similar repositories for argo
Users that are interested in argo are comparing it to the libraries listed below
Sorting:
- Core modules for a blazing fast markup combinator library☆22Updated 6 months ago
- Hackage search engine☆56Updated 7 years ago
- Fast base64 encoding and decoding for Haskell.☆47Updated 2 years ago
- ☆40Updated 7 years ago
- Tools for working with derived Show instances in Haskell.☆57Updated 2 years ago
- Efficient implementation of the implicit treap data structure☆62Updated 4 years ago
- enumerative property-based testing for Haskell☆52Updated 3 months ago
- Haskell JSON library☆27Updated last year
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Common lower-level functions needed by various streaming data libraries☆36Updated last month
- An OS written in Idris (eventually...)☆20Updated 10 years ago
- Hedgehog will eat your typeclass bugs☆56Updated 5 months ago
- Get your IO right on the first try☆55Updated 3 months ago
- QuickCheck extras.☆29Updated 6 years ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 6 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 8 months ago
- ☆23Updated 7 years ago
- ☆20Updated 6 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25Updated 6 years ago
- Reverse proxy HTTP requests, either over raw sockets or with WAI☆56Updated 3 months ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 4 years ago
- ☆44Updated 8 months ago
- Asymptotically optimal Brodal/Okasaki heaps☆33Updated 11 months ago
- Derivation of Optimized Definitions Based on Specs☆15Updated 6 years ago
- simple client connection library in haskell with builtin features: SSL/TLS, SOCKS, session management.☆59Updated 2 years ago
- Accepted papers for ICFP 2014☆119Updated 9 years ago
- ☆41Updated 5 years ago
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Updated 7 years ago
- A hip inductive theorem prover!☆90Updated 4 years ago
- Parse and validate forms in JSON format☆38Updated last week