GaloisInc / argoLinks
A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW
☆16Updated last month
Alternatives and similar repositories for argo
Users that are interested in argo are comparing it to the libraries listed below
Sorting:
- Fast base64 encoding and decoding for Haskell.☆47Updated 2 years ago
- Get your IO right on the first try☆54Updated 2 months ago
- enumerative property-based testing for Haskell☆52Updated 3 months ago
- Hedgehog will eat your typeclass bugs☆55Updated 5 months ago
- Haskell JSON library☆27Updated last year
- ☆41Updated 5 years ago
- Tools for working with derived Show instances in Haskell.☆57Updated 2 years ago
- Asymptotically optimal Brodal/Okasaki heaps☆33Updated 11 months ago
- Hackage search engine☆56Updated 7 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 6 years ago
- An OS written in Idris (eventually...)☆20Updated 10 years ago
- Core modules for a blazing fast markup combinator library☆22Updated 5 months ago
- Named parameters (keyword arguments) for Haskell☆97Updated 7 months ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 9 months ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 7 months ago
- Selective Functors & Probabilistic Programming☆22Updated 4 years ago
- ☆44Updated 8 months ago
- 🎭 Actor library for Haskell☆30Updated 2 years ago
- Deep evaluation of data structures☆43Updated 4 months ago
- Non-empty Vectors☆26Updated 6 months 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 5 months ago
- MPFR bindings for Haskell☆35Updated 2 years ago
- Simple, layout-based, unambiguous configuration language implemented in Haskell☆18Updated 10 months ago
- Load environment variables from .env☆19Updated last year
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆14Updated 5 years ago
- Common lower-level functions needed by various streaming data libraries☆36Updated last week
- The most complete prelude formed only from the "base" package☆29Updated 2 years ago
- Tools for building 3D interactive programs in Haskell☆73Updated last month
- ☆40Updated 7 years ago