scslab / hails
The security-centric web platform framework
☆52Updated 8 years ago
Alternatives and similar repositories for hails:
Users that are interested in hails are comparing it to the libraries listed below
- Idris to Serpent back end for Ethereum smart contracts☆32Updated 7 years ago
- A wiki based on firm theoretical foundations☆51Updated 8 years ago
- Proposed compiler and language changes for GHC and GHC/Haskell☆25Updated 8 years ago
- Mindless, verified (erasably) coding using dependent types☆104Updated 9 years ago
- Implementation of cryptographic primitives using Idris☆121Updated 6 years ago
- This project is dead. See https://gitlab.com/k0001/moto for its reincarnation.☆17Updated 5 years ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆15Updated 9 years ago
- Playing with https://github.com/ekmett/machines☆51Updated 7 years ago
- LaTeX style file to typeset functional languages like Haskell☆26Updated 12 years ago
- An extension to Data.Serialize with built-in version control☆59Updated 2 weeks ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆55Updated 6 years ago
- An implementation of "Freer Monads, More Extensible Effects".☆20Updated 6 years ago
- SPAKE2 key exchange protocol for Haskell☆14Updated last year
- complexity testing for haskell☆48Updated 9 years ago
- Small minimal examples of modern cryptographic techniques in Haskell☆79Updated 5 years ago
- DEPRECATED: Use ghc-heap, ghc-heap-view in GHC 8.x instead.☆18Updated 8 years ago
- SMTLib2 interface implementation for Haskell☆17Updated 7 years ago
- second-order abstract syntax☆31Updated 3 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆48Updated 2 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- Criterion benchmarks for the different haskell concurrent channel implementations in base and stm☆17Updated 10 years ago
- Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Updated 7 years ago
- Distributed programming language that desugars to Morte☆92Updated 2 years ago
- Provides the region monad for safely opening and working with scarce resources☆33Updated 10 years ago
- OTP-like supervision trees in Haskell☆62Updated 5 years ago
- Clojure-style transients for Haskell☆32Updated 2 years ago
- ☆26Updated 8 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 4 years ago
- A hashing-based graph implementation in Haskell☆33Updated 6 years ago
- Semantics for Cryptol☆16Updated 6 years ago