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
- A type theory based theorem proving library☆25Updated 14 years ago
- An umbrella repository including all of the dependencies to build the smaccmpilot project☆74Updated 8 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Updated 6 years ago
- Accepted papers for ICFP 2014☆119Updated 9 years ago
- A concurrency framework for the Ivory language☆44Updated 5 years ago
- Non-blocking concurrent hashmap for Haskell☆18Updated 7 years ago
- The haskell network stack☆115Updated 7 years ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆15Updated 9 years ago
- Plover is a language for matrix algebra on embedded systems.☆48Updated 4 years ago
- A Haskell implementation of crit-bit trees.☆140Updated 3 years ago
- simple interface to ghc's simd vector support☆23Updated 10 years ago
- Online version of GHCi that supports safely executing untrusted code.☆26Updated 9 years ago
- Succinct vectors☆20Updated 6 years ago
- Fixed length vector for haskell☆21Updated last month
- An efficient, lazy suffix tree implementation☆13Updated 4 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 14 years ago
- A well-typed Directed Acyclic Graph in Haskell☆14Updated 10 years ago
- ☆59Updated last year
- Cross-compilation framework based on the Shake Haskell library.☆28Updated 4 years ago
- Fine-grained lattice primitives for Haskell☆18Updated 7 years ago
- Hackage search engine☆56Updated 7 years ago
- A Haskell-only implementation of zlib / DEFLATE.☆31Updated 3 years ago
- A fast, low-level HTTP server you can trust☆47Updated 6 years ago
- Haskell RSA Library☆20Updated 4 years ago
- Haskell generic interface (type classes) for cryptographic algorithms☆29Updated 8 years ago
- A (Haskell DSL) stream language for generating hard real-time C code.☆151Updated 6 years ago
- A human readable style for binary data.☆11Updated 5 years ago