GaloisInc / argoView external linksLinks
A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW
☆16Jan 29, 2026Updated 2 weeks ago
Alternatives and similar repositories for argo
Users that are interested in argo are comparing it to the libraries listed below
Sorting:
- Minimal binary serialization library with focus on performance☆25Jul 16, 2025Updated 6 months ago
- Keyboard controller written in Ivory☆10Mar 3, 2017Updated 8 years ago
- Union mount in Haskell, with fsnotify☆12Dec 23, 2025Updated last month
- Clipboard synchronization tool☆12Jan 30, 2026Updated 2 weeks ago
- Haskell client library for HashiCorp's Vault tool (via HTTP API)☆10Oct 28, 2021Updated 4 years ago
- Upload packages or documentation to a hackage server☆11Jul 18, 2022Updated 3 years ago
- OpenSSL binding for Haskell☆24Jan 31, 2026Updated 2 weeks ago
- ☆12Feb 4, 2026Updated last week
- Haskell implementation of the XXHash algorithm☆16Dec 3, 2025Updated 2 months ago
- Plucky errors and exceptions☆20Nov 7, 2020Updated 5 years ago
- Official Haskell port of Sqids. Generate short unique IDs from numbers.☆11Mar 8, 2024Updated last year
- haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type☆17Mar 3, 2022Updated 3 years ago
- Load environment variables from .env☆19Dec 21, 2023Updated 2 years ago
- Faktory Worker for Haskell☆17Dec 15, 2025Updated last month
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆18Jan 5, 2026Updated last month
- Haskell client library for exposing prometheus.io metrics.☆86May 3, 2025Updated 9 months ago
- Haskell bindings to libevdev. Read from Linux input devices, and create virtual ones.☆16Apr 20, 2025Updated 9 months ago
- Utilities for making your applications more debuggable.☆16Dec 4, 2024Updated last year
- My personal website☆12Oct 10, 2025Updated 4 months ago
- A Haskell client library for Cayley database graph☆14Jan 6, 2026Updated last month
- The https://ghc.dev Website Generator☆21Oct 22, 2024Updated last year
- 📦 A package manager based on Nix☆19May 17, 2024Updated last year
- A library for binary analysis and rewriting☆49Sep 28, 2023Updated 2 years ago
- ️🌈 Convenient interface for printing colourful messages☆71Jan 29, 2026Updated 2 weeks ago
- 🚒✨ Rescue: better errors through types (a more type directed MonadThrow/MonadCatch)☆20Feb 1, 2022Updated 4 years ago
- Haskell Configuration Loader☆19Feb 3, 2026Updated last week
- OpenTracing (https://opentracing.io) for Haskell☆40Feb 25, 2025Updated 11 months ago
- Logging framework for Haskell☆66Jan 6, 2026Updated last month
- Prototype for https://github.com/Innf107/vega☆19Jul 22, 2024Updated last year
- A command line tool that leverages GHC API for generation of etags (Emacs) and ctags (Vim, VSCode with ctagsx etc.) for efficient code na…☆22Nov 19, 2025Updated 2 months ago
- Haskell types and parsers for software version numbers.☆20Dec 12, 2025Updated 2 months ago
- A simple live Markdown editor with Reagent☆16Jun 30, 2015Updated 10 years ago
- A solid modeling language in Haskell.☆28Sep 14, 2012Updated 13 years ago
- Easily time one or more commands with one or more executables and show tabular results☆25May 8, 2025Updated 9 months ago
- 💝 Haskell profiles to sponsor☆48Oct 28, 2021Updated 4 years ago
- Distributed tracing☆24Nov 21, 2025Updated 2 months ago
- Non-empty Vectors☆26Apr 17, 2025Updated 9 months ago
- ☆29Jul 11, 2025Updated 7 months ago
- A package index for the Haskell ecosystem☆148Updated this week