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 14 years ago
- A type theory based theorem proving library☆25Updated 14 years ago
- IPython-style interaction for Cryptol☆15Updated 8 years ago
- Binary streaming library for Postgres data pipelines☆17Updated 5 years ago
- Plover is a language for matrix algebra on embedded systems.☆48Updated 4 years ago
- A concurrency framework for the Ivory language☆44Updated 5 years ago
- State-space estimation algorithms and models☆27Updated 9 years ago
- The haskell network stack☆116Updated 7 years ago
- Non-blocking concurrent hashmap for Haskell☆18Updated 7 years ago
- ☆21Updated 10 years ago
- Cloud Haskell - Asynchronous Execution☆18Updated last year
- Hackage search engine☆56Updated 7 years ago
- Fine-grained lattice primitives for Haskell☆18Updated 7 years ago
- An umbrella repository including all of the dependencies to build the smaccmpilot project☆74Updated 8 years ago
- Concurrent and efficient implementation of statsd in Haskell☆19Updated 11 years ago
- A fast, low-level HTTP server you can trust☆47Updated 7 years ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆15Updated 10 years ago
- (DEPRECATED) Front-end of Copilot defining the user language.☆16Updated 4 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆30Updated last month
- Accepted papers for ICFP 2014☆119Updated 9 years ago
- convert simple cryptol expressions into finite-state machines☆20Updated 8 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆49Updated 2 years ago
- My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)☆26Updated 11 years ago
- Online version of GHCi that supports safely executing untrusted code.☆26Updated 9 years ago
- The Haskell File System: A file system implementation in Haskell☆38Updated 10 years ago
- ☆59Updated last year
- simple interface to ghc's simd vector support☆23Updated 10 years ago
- Library and macros to simplify writing Haskell FFI code☆40Updated 2 years ago
- Timing attack resistant type systems☆24Updated 10 years ago