GaloisInc / gecView external linksLinks
Embedded-friendly crypto a la SMACCM
☆13Aug 11, 2017Updated 8 years ago
Alternatives and similar repositories for gec
Users that are interested in gec are comparing it to the libraries listed below
Sorting:
- Concurrent and efficient implementation of statsd in Haskell☆19Feb 12, 2014Updated 12 years ago
- Processing HTTP Content-Type and Accept headers☆14May 17, 2024Updated last year
- Command-line tool for formatting and publishing blog posts.☆20Aug 19, 2023Updated 2 years ago
- Fixed length vector for haskell☆21Jan 27, 2026Updated 2 weeks ago
- QuadTree library for Haskell, using lenses.☆15May 7, 2018Updated 7 years ago
- Serialization primitives that work with both cereal and binary.☆23Jan 10, 2026Updated last month
- An Ivory library inspired by Atom☆14Oct 17, 2016Updated 9 years ago
- simple interface to ghc's simd vector support☆23Jun 25, 2015Updated 10 years ago
- Haskell types and parsers for software version numbers.☆20Dec 12, 2025Updated 2 months ago
- Binary streaming library for Postgres data pipelines☆17Oct 2, 2019Updated 6 years ago
- An umbrella repository including all of the dependencies to build the smaccmpilot project☆74Aug 11, 2017Updated 8 years ago
- Succinct vectors☆20Dec 29, 2018Updated 7 years ago
- ☆31Feb 4, 2024Updated 2 years ago
- Automatically make lenses from data structures implementing Generic☆26Feb 14, 2015Updated 11 years ago
- ☆21Jun 11, 2020Updated 5 years ago
- A Haskell library for working with files and directories. Includes code for pattern matching, finding files, modifying file contents, and…☆28Jan 28, 2023Updated 3 years ago
- A secure sandboxed Haskell interpreter for pure function evaluation☆76Apr 21, 2024Updated last year
- Raft distributed consensus protocol (Haskell library)☆27Jun 6, 2019Updated 6 years ago
- library to manipulate git repositories in haskell (no bindings)☆50Jan 26, 2019Updated 7 years ago
- Anonymous extensible records and variant types☆26Sep 1, 2021Updated 4 years ago
- Haskell library for efficiently building up buffers☆27Jan 6, 2025Updated last year
- Parse and pretty-print Bash shell scripts☆35Jan 5, 2026Updated last month
- Haskell library: ECMAScript parser, pretty-printer and additional tools☆46Feb 8, 2024Updated 2 years ago
- ☆26Oct 7, 2016Updated 9 years ago
- A faster date and time library based on time☆47Jan 16, 2026Updated 3 weeks ago
- A Java version of the automatic program repair described by RSRepair and GenProg.☆11Jan 6, 2016Updated 10 years ago
- Monad morphisms☆51Jan 10, 2026Updated last month
- A pretty-printing library for laying out text in two dimensions, using a simple box model.☆38Dec 22, 2025Updated last month
- DTrace script mode for Emacs☆10Jan 27, 2018Updated 8 years ago
- DEPRECATED in favour of https://github.com/BabbleSim/ext_NRF_hw_models☆10Oct 21, 2024Updated last year
- An API that wraps around the Tor control port to create ad-hoc hidden services☆10Sep 22, 2019Updated 6 years ago
- Super-efficient Node.js module to parse and check if an IP address is in a CIDR block. IPv4 and IPv6 supported.☆11Apr 19, 2022Updated 3 years ago
- haskell memory☆48Aug 14, 2023Updated 2 years ago
- A fast Haskell Bloom filter library.☆60Feb 1, 2023Updated 3 years ago
- A simple web frontend to view Python pstats files.☆12Jul 26, 2023Updated 2 years ago
- Simple HTTP redirector for tmpnb nodes☆12Sep 20, 2017Updated 8 years ago
- ⚔️ M-x kill-all-the-thing ☠️☆10Oct 16, 2017Updated 8 years ago
- format prometheus .rules files☆13Jul 8, 2024Updated last year
- Mix task for running tests for a distributed application☆10Apr 3, 2022Updated 3 years ago