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:
- Deep evaluation of data structures☆41Updated last month
- Fixed length vector for haskell☆21Updated last week
- Core modules for a blazing fast markup combinator library☆22Updated last month
- enumerative property-based testing for Haskell☆52Updated 5 months ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 4 years ago
- Dependently-typed finite maps (partial dependent products)☆66Updated 5 months ago
- Generic functions for single-sorted first-order structural unification☆46Updated 2 months ago
- An efficient graph library for Haskell☆39Updated last month
- Markup language on top of Haskell☆12Updated 8 months ago
- The Hadrian build system for GHC☆9Updated 6 years ago
- ☆20Updated 6 years ago
- Directed Acyclic Graphs