GaloisInc / argoLinks
A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW
☆16Updated last week
Alternatives and similar repositories for argo
Users that are interested in argo are comparing it to the libraries listed below
Sorting:
- Hedgehog will eat your typeclass bugs☆55Updated 3 months ago
- Tools for working with derived Show instances in Haskell.☆57Updated 2 years ago
- Haskell JSON library☆27Updated 10 months ago
- Hackage search engine☆56Updated 7 years ago
- Get your IO right on the first try☆54Updated 3 weeks ago
- Derivation of Optimized Definitions Based on Specs☆15Updated 5 years ago
- Fast base64 encoding and decoding for Haskell.☆47Updated last year
- enumerative property-based testing for Haskell☆52Updated last month
- An efficient graph library for Haskell☆38Updated 3 weeks ago
- ☆41Updated 5 years ago
- Efficient implementation of the implicit treap data structure☆62Updated 4 years ago
- ☆20Updated 6 years ago
- Named parameters (keyword arguments) for Haskell☆97Updated 6 months ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 4 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- simple client connection library in haskell with builtin features: SSL/TLS, SOCKS, session management.☆59Updated 2 years ago
- Haskell parser and printer for the TOML 1.0.0 file format☆27Updated last week
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Updated 6 years ago
- Haskell types and parsers for software version numbers.☆20Updated last month
- ☆44Updated 6 months ago
- Parse and validate forms in JSON format☆38Updated 7 months ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 5 years ago
- Layout data in grids and pretty tables. Provides a lot of tools to get the cell formatting right (positional alignment, alignment on spec…☆39Updated 4 months ago
- Dual Traversable☆42Updated 2 years ago
- Selective Functors & Probabilistic Programming☆22Updated 4 years ago
- haskell posix bindings☆19Updated last month
- Load environment variables from .env☆19Updated last year
- An OS written in Idris (eventually...)☆20Updated 10 years ago
- Evaluation-orthogonal serialisation of Haskell data, as a library☆62Updated 8 months ago