fegaras / DIQL
DIQL: Data Intensive Query Language
☆12Updated 4 years ago
Alternatives and similar repositories for DIQL:
Users that are interested in DIQL are comparing it to the libraries listed below
- Contains the system-filepath and system-fileio packages☆9Updated last month
- A Framework for building Distributed Consensus Protocols☆10Updated 7 years ago
- ☆11Updated last year
- DSL and commensal compiler for high-performance stream programming☆12Updated 9 years ago
- Tools for MIL, a Monadic Intermediate Language☆21Updated 4 months ago
- typed tagless final interpreters☆13Updated 7 years ago
- An implementation of asynchronous π-calculus in Go☆7Updated 3 years ago
- A library for developing languages with scoped binders (like forall or lambda).☆28Updated 6 years ago
- Integration between scodec and scalaz☆10Updated 5 years ago
- prototyping logic programming in Scala☆41Updated 2 years ago
- ☆13Updated 5 years ago
- Lambda syntax for Scala EDSLs☆26Updated last year
- ☆15Updated 4 years ago
- immutable primitive array/NonEmptyArray wrapper for Scala☆33Updated last week
- Sireum v3☆10Updated last year
- Safely trading off consistency for performance.☆12Updated 4 years ago
- Attribute Grammars on Graphs☆10Updated 8 years ago
- Raft distributed consensus over HTTP☆7Updated 4 years ago
- Algebraic Graphs in Scala☆26Updated 3 years ago
- Staging area for new benchmarking infrastructure for Scala Native.☆15Updated last year
- A new query language designed for building composable and reproducible data processing pipelines☆12Updated 4 months ago
- Scala Algebra System☆16Updated last week
- Lightweight affine types and object capabilities in Scala☆32Updated 5 years ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated last month
- dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.☆39Updated 5 years ago
- Cyclic Airstream-based stateful components for functional-reactive interfaces on Laminar and Scala.js☆11Updated 4 years ago
- Problem solving à la carte☆20Updated 2 years ago
- js.scala: JavaScript as an embedded DSL in Scala☆176Updated 9 years ago
- A library which is not recognized as citizen of any infrastructure.☆26Updated 5 years ago
- Superposition prover☆17Updated last year