GaloisInc / gecLinks
Embedded-friendly crypto a la SMACCM
☆12Updated 8 years ago
Alternatives and similar repositories for gec
Users that are interested in gec are comparing it to the libraries listed below
Sorting:
- An Ivory library inspired by Atom☆14Updated 8 years ago
- An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…☆57Updated 13 years ago
- Binary streaming library for Postgres data pipelines☆17Updated 5 years ago
- An umbrella repository including all of the dependencies to build the smaccmpilot project☆74Updated 8 years ago
- Non-blocking concurrent hashmap for Haskell☆17Updated 7 years ago
- A concurrency framework for the Ivory language☆44Updated 5 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Updated 6 years ago
- an example airship app☆14Updated 9 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- convert simple cryptol expressions into finite-state machines☆20Updated 7 years ago
- The haskell network stack☆115Updated 7 years ago
- Gidl: an Interface Description Language☆10Updated 8 years ago
- library to manipulate git repositories in haskell (no bindings)☆50Updated 6 years ago
- Library and macros to simplify writing Haskell FFI code☆40Updated 2 years ago
- A human readable style for binary data.☆11Updated 5 years ago
- A Haskell-only implementation of zlib / DEFLATE.☆31Updated 3 years ago
- Haskell bindings for the pcap library, which provides a low level interface to packet capture systems.☆27Updated 5 years ago
- MPFR bindings for Haskell☆35Updated last year
- Plover is a language for matrix algebra on embedded systems.☆48Updated 4 years ago
- Hackage search engine☆56Updated 7 years ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆15Updated 9 years ago
- Online version of GHCi that supports safely executing untrusted code.☆26Updated 9 years ago
- Hacking GHC's Stack for Fun and Profit (featuring The Glorious Haskell Debugger v0.0.1 Pre-alpha)☆69Updated 11 years ago
- SMACCMPilot flight controller☆32Updated 8 years ago
- State-space estimation algorithms and models☆27Updated 9 years ago
- Haskell generic interface (type classes) for cryptographic algorithms☆29Updated 8 years ago
- A well-typed Directed Acyclic Graph in Haskell☆14Updated 10 years ago
- Easy entropy source for Haskell users.☆26Updated 7 months ago
- Concurrent and efficient implementation of statsd in Haskell☆19Updated 11 years ago