GaloisInc / argoLinks
A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW
☆16Updated 2 weeks ago
Alternatives and similar repositories for argo
Users that are interested in argo are comparing it to the libraries listed below
Sorting:
- Fixed length vector for haskell☆21Updated 5 months ago
- Deep evaluation of data structures☆41Updated 2 weeks ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 3 months ago
- ☆23Updated 7 years ago
- ☆20Updated 6 years ago
- Hedgehog will eat your typeclass bugs☆56Updated 3 weeks ago
- enumerative property-based testing for Haskell☆53Updated 4 months ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- being the programs and code for a paper about general recursion☆25Updated 10 years ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated 6 months ago
- More strongly typed variant of the ixset Haskell package☆24Updated 10 months ago
- Derivation of Optimized Definitions Based on Specs☆15Updated 5 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Efficient implementation of the implicit treap data structure☆62Updated 3 years ago
- ICFP 2019 preprints/papers☆44Updated 5 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 6 months ago
- Haskell Join-calculus DSL☆24Updated 6 years ago
- An efficient graph library for Haskell☆39Updated last month
- Dependently-typed finite maps (partial dependent products)☆66Updated 4 months ago
- Universal Register Machine implemented at the type-level of Haskell☆23Updated 9 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 last month
- The most complete prelude formed only from the "base" package☆29Updated last year
- Derive instances through isomorphisms☆20Updated last year
- the EitherT monad transformer☆55Updated last week
- Type-safe time units in Haskell☆49Updated 5 months ago
- Core modules for a blazing fast markup combinator library☆22Updated last month
- Formalizing nbe in agda☆31Updated 12 years ago
- Fast base64 encoding and decoding for Haskell.☆45Updated last year
- ☆30Updated 7 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated last year