leithaus / SpecialKLinks
DataLog meets NoSql
☆64Updated 2 years ago
Alternatives and similar repositories for SpecialK
Users that are interested in SpecialK are comparing it to the libraries listed below
Sorting:
- An independent reimplementation of Ethereum in Haskell☆81Updated 10 years ago
- SPREAD☆19Updated 4 years ago
- Multiversioned key-value database, especially useful for blockchain☆95Updated 7 years ago
- Code samples inspiring language design☆24Updated 9 years ago
- Standalone Ethereum Virtual Machine☆52Updated 3 years ago
- A wrapper of the IPFS Client HTTP-API for Scala.☆34Updated 3 months ago
- ☆89Updated 7 years ago
- Extending Scala with Oz Concurrency☆81Updated 3 years ago
- ☆59Updated 3 years ago
- A collection of papers about new models and applications of mobile process calculi☆12Updated 5 years ago
- A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.☆27Updated 4 years ago
- Formal specification and reference implementation of Casper☆15Updated 9 years ago
- ☆150Updated 2 years ago
- An EVM code verification framework in Coq☆44Updated 8 years ago
- Java Code Generator for Idris☆72Updated 9 years ago
- Idris to Serpent back end for Ethereum smart contracts☆32Updated 7 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- a sound modern language for computation and transactional resource logic☆101Updated 8 years ago
- Verification and Generation of Smart Contracts using Stainless and Scala☆35Updated 4 years ago
- Language Design Community for the EVM: Intro and Resources☆136Updated 8 years ago
- ☆77Updated 2 years ago
- Generalized, incremental parser combinators for scalaz-stream☆62Updated 10 years ago
- An Implementation of Interval Tree Clock☆59Updated 4 years ago
- idni.org☆75Updated 7 years ago
- An implementation of derivative parsing in the parser combinator framework☆59Updated 14 years ago
- authenticated data structures, generically☆53Updated 8 years ago
- Sphinx source for the architecture docs☆25Updated 2 years ago
- Honey Badger of BFT Protocols in Haskell☆8Updated 6 years ago
- Something ungodly for FUSE☆67Updated 10 years ago
- a capability-based system☆40Updated 7 years ago