GaloisInc / argoLinks
A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW
☆16Updated 2 months ago
Alternatives and similar repositories for argo
Users that are interested in argo are comparing it to the libraries listed below
Sorting:
- Hackage search engine☆56Updated 7 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- enumerative property-based testing for Haskell☆52Updated 3 weeks ago
- Haskell JSON library☆27Updated 9 months ago
- Hedgehog will eat your typeclass bugs☆56Updated 2 months ago
- Core modules for a blazing fast markup combinator library☆22Updated 3 months ago
- simple client connection library in haskell with builtin features: SSL/TLS, SOCKS, session management.☆59Updated 2 years ago
- ☆20Updated 6 years ago
- Evaluation-orthogonal serialisation of Haskell data, as a library☆62Updated 7 months ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 4 years ago
- An efficient graph library for Haskell☆38Updated last week
- Lightweight package providing commonly useful parser combinators☆54Updated 2 weeks ago
- Get your IO right on the first try☆54Updated last week
- Efficient implementation of the implicit treap data structure☆62Updated 4 years ago
- Simple, layout-based, unambiguous configuration language implemented in Haskell☆18Updated 8 months ago
- Dual Traversable☆42Updated 2 years ago
- An OS written in Idris (eventually...)☆20Updated 10 years ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆50Updated 2 weeks ago
- ☆40Updated 5 years ago
- Deep evaluation of data structures☆43Updated 2 months ago
- Tools for working with derived Show instances in Haskell.☆57Updated 2 years ago
- ☆44Updated 5 months ago
- Fast base64 encoding and decoding for Haskell.☆47Updated last year
- haskell posix bindings☆18Updated 3 weeks ago
- 🎭 Actor library for Haskell☆30Updated 2 years ago
- QuickCheck extras.☆29Updated 6 years ago
- Non-empty Vectors☆25Updated 4 months ago
- Asymptotically optimal Brodal/Okasaki heaps☆32Updated 8 months ago
- ☆40Updated 7 years ago
- ♾️ Sized list☆46Updated last year