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☆18Updated 4 years ago
- Multiversioned key-value database, especially useful for blockchain☆95Updated 7 years ago
- Extending Scala with Oz Concurrency☆81Updated 3 years ago
- A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.☆28Updated 4 years ago
- ☆150Updated 2 years ago
- Code samples inspiring language design☆24Updated 9 years ago
- A wrapper of the IPFS Client HTTP-API for Scala.☆34Updated 3 months ago
- idni.org☆75Updated 7 years ago
- ☆59Updated 3 years ago
- Standalone Ethereum Virtual Machine☆52Updated 3 years ago
- ☆89Updated 7 years ago
- Formal specification and reference implementation of Casper☆15Updated 10 years ago
- a sound modern language for computation and transactional resource logic☆101Updated 8 years ago
- Java Code Generator for Idris☆72Updated 9 years ago
- Library for encoding Bitcoin network protocol messages in Scala.☆21Updated 5 years ago
- Parallelizing Machine Learning-- Functionally.☆55Updated 13 years ago
- Scorex 2.0 Tutorial☆39Updated 7 years ago
- A collection of papers about new models and applications of mobile process calculi☆12Updated 5 years ago
- An EVM code verification framework in Coq☆44Updated 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
- Idris to Serpent back end for Ethereum smart contracts☆32Updated 7 years ago
- A set of functional collections created, ported and modified for my tak at NE Scala 2011☆91Updated 14 years ago
- An implementation of derivative parsing in the parser combinator framework☆59Updated 14 years ago
- Generalized, incremental parser combinators for scalaz-stream☆62Updated 10 years ago
- Something ungodly for FUSE☆67Updated 10 years ago
- ☆77Updated 2 years ago
- A library for composable fine-grained concurrency.☆53Updated 13 years ago
- ☆33Updated 10 years ago