GaloisInc / argo
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:
- Fixed length vector for haskell☆21Updated 4 months ago
- Deep evaluation of data structures☆41Updated 8 months ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated 5 months ago
- ☆20Updated 6 years ago
- ☆35Updated 7 months ago
- The most complete prelude formed only from the "base" package☆29Updated last year
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆18Updated 2 months ago
- Run lifted IO operations asynchronously and wait for their results☆29Updated 6 months ago
- Dependently-typed finite maps (partial dependent products)☆66Updated 3 months ago
- Benchmarks for numbers: ints, doubles, bignums, rationals, etc.☆20Updated 8 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 11 months ago
- ✂️ Hakyll shortcut-links in markdown files☆11Updated 3 years ago
- An efficient graph library for Haskell☆39Updated 9 months ago
- GHC prof manipulation script☆32Updated last year
- MPFR bindings for Haskell☆34Updated last year
- A monad for managed values☆50Updated 2 years ago
- Non-empty Vectors☆24Updated last month
- APIs for more recursive definitions☆19Updated 6 months ago
- Core modules for a blazing fast markup combinator library☆22Updated 10 months ago
- Asymptotically optimal Brodal/Okasaki heaps☆31Updated 5 months ago
- Utilities for making your applications more debuggable.☆15Updated 5 months ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 2 months ago
- An extension to Data.Serialize with built-in version control☆59Updated 2 months ago
- phantom types☆38Updated 3 months ago
- More strongly typed variant of the ixset Haskell package☆24Updated 9 months ago
- Clean up the formatting of 'show' output☆21Updated last week
- Derive instances through isomorphisms☆20Updated 11 months ago
- Haskell types and parsers for software version numbers.☆21Updated 3 months ago
- ☆44Updated 2 months ago