GaloisInc / ec2-unikernelLinks
Tool for uploading unikernels into EC2
☆77Updated 7 years ago
Alternatives and similar repositories for ec2-unikernel
Users that are interested in ec2-unikernel are comparing it to the libraries listed below
Sorting:
- Type provider library for Idris☆95Updated 8 years ago
- The haskell network stack☆118Updated 7 years ago
- Experimental Malfunction backend for Idris☆82Updated 7 years ago
- QuickCheck extras.☆29Updated 6 years ago
- Mindless, verified (erasably) coding using dependent types☆104Updated 10 years ago
- Bindings to the Zstandard library to make it usable from the Haskell programming language.☆47Updated 8 years ago
- A proper network library for Idris, now that I know what I'm doing.☆59Updated 9 years ago
- Support for static values☆22Updated last year
- System POSIX bindings for Idris.☆36Updated 7 years ago
- Implementation of cryptographic primitives using Idris☆123Updated 7 years ago
- Haskell web service that redirects all traffic from HTTP to HTTPS☆54Updated 10 years ago
- Haskell Join-calculus DSL☆24Updated 7 years ago
- A hip inductive theorem prover!☆90Updated 4 years ago
- Double ratchet algorithm for E2E encryption☆59Updated 7 years ago
- ABANDONED☆49Updated 9 years ago
- Link to preprints for POPL'18 and colocated events☆86Updated 7 years ago
- A Demo of how to use Warp and SO_REUSEPORT to create a zero downtime deploy.☆49Updated 9 years ago
- GNU bash backend for Idris☆52Updated 6 years ago
- An empty code generator, to be used as a starting point for any new back ends.☆51Updated 8 years ago
- Some writings about a type system for nix☆19Updated 8 years ago
- An experimental native Haskell graph database☆62Updated 7 years ago
- Dive into GHC☆82Updated 9 years ago
- A pure Haskell implementation of Datalog☆105Updated 5 years ago
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- A DSL for describing and implementing communication protocols☆84Updated 11 years ago
- A Smarter QuickCheck☆102Updated 8 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- Efficient implementation of the implicit treap data structure☆63Updated 4 years ago
- An implementation of the Raft consensus protocol☆121Updated 3 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago