leithaus / SpecialK
DataLog meets NoSql
☆64Updated last year
Related projects ⓘ
Alternatives and complementary repositories for SpecialK
- Parallelizing Machine Learning-- Functionally.☆54Updated 12 years ago
- Library for encoding Bitcoin network protocol messages in Scala.☆21Updated 5 years ago
- ☆150Updated last year
- Scala/Akka XMPP client library☆31Updated 10 years ago
- SPREAD☆19Updated 3 years ago
- Multiversioned key-value database, especially useful for blockchain☆95Updated 6 years ago
- Verification and Generation of Smart Contracts using Stainless and Scala☆35Updated 4 years ago
- A set of functional collections created, ported and modified for my tak at NE Scala 2011☆92Updated 13 years ago
- Extending Scala with Oz Concurrency☆81Updated 3 years ago
- A wrapper of the IPFS Client HTTP-API for Scala.☆34Updated 4 years ago
- [abandoned] Hoogle-like documentation search engine, for scala☆90Updated 9 years ago
- Something ungodly for FUSE☆67Updated 9 years ago
- The Scala Programming Language: Virtualized☆104Updated 9 years ago
- The Visi Language and iPad IDE☆140Updated 11 years ago
- Scala to Javascript compiler☆72Updated 10 years ago
- An independent reimplementation of Ethereum in Haskell☆82Updated 9 years ago
- A prototype meta DSL that generates Delite DSL implementations from a specification-like program.☆49Updated 7 years ago
- SBT Plugin to deploy to cloudbees.com Run@Cloud PaaS☆36Updated 10 years ago
- Scala Code Coverage Tool☆129Updated 11 years ago
- Notes on Algebra and Recursive Data Types☆10Updated 13 years ago
- A simple FRP library and a web UI framework built on it☆215Updated 4 months ago
- SynapseGrid is a framework for constructing dynamic low latency data flow systems.