scslab / hails
The security-centric web platform framework
☆52Updated 8 years ago
Related projects: ⓘ
- Idris to Serpent back end for Ethereum smart contracts☆32Updated 7 years ago
- Implementation of cryptographic primitives using Idris☆121Updated 6 years ago
- complexity testing for haskell☆47Updated 8 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆55Updated 6 years ago
- A hip inductive theorem prover!☆87Updated 2 years ago
- A proper network library for Idris, now that I know what I'm doing.☆57Updated 7 years ago
- A wiki based on firm theoretical foundations☆52Updated 8 years ago
- A tool for privacy-preserving identity management (PPIM)☆56Updated 7 years ago
- Small minimal examples of modern cryptographic techniques in Haskell☆79Updated 4 years ago
- Compile PureScript into Haskell.☆69Updated 6 years ago
- Distributed programming language that desugars to Morte☆91Updated 2 years ago
- Experimental Malfunction backend for Idris☆81Updated 6 years ago
- Mindless, verified (erasably) coding using dependent types☆104Updated 8 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆49Updated last year
- A Haskell client library for the IPFS API☆26Updated 7 years ago
- Haskell to Elm translation using Template Haskell. Contains both a library and executable.☆49Updated 6 years ago
- Static blog generator in Idris.☆39Updated 9 years ago
- DEPRECATED: Use ghc-heap, ghc-heap-view in GHC 8.x instead.☆19Updated 8 years ago
- ☆79Updated this week
- ☆41Updated 6 years ago
- A DSL for describing and implementing communication protocols☆82Updated 9 years ago
- Dump GHC's abstract syntax trees☆41Updated 2 years ago
- A pure Haskell implementation of Datalog☆102Updated 4 years ago
- Double ratchet algorithm for E2E encryption☆59Updated 5 years ago
- A haskell library implementing the Kademlia DHT☆43Updated 5 years ago
- ICFP 2019 preprints/papers☆44Updated 5 years ago
- Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Updated 7 years ago
- An extension to Data.Serialize with built-in version control☆60Updated 4 months ago
- A Distributed Computing Library in Haskell☆52Updated 7 years ago
- A formal moral framework coded in Haskell☆49Updated 9 years ago