Alternatives and similar repositories for DIQL

Users that are interested in DIQL are comparing it to the libraries listed below

• epfldata / dbstage
  ☆15Updated 5 years ago
• nickng / asyncpi
  An implementation of asynchronous π-calculus in Go
  ☆7Updated 3 years ago
• lihaoyi / autojit
  ☆13Updated 6 years ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆41Updated 3 years ago
• xuwei-k / nobox
  immutable primitive array/NonEmptyArray wrapper for Scala
  ☆33Updated last week
• heathermiller / f-p
  A new programming model for asynchronous and distributed programming.
  ☆36Updated 7 years ago
• kuba-- / ut
  Yet Another Efficient Unification Algorithm
  ☆27Updated 11 months ago
• epfl-lara / scallion
  LL(1) parser combinators in Scala
  ☆59Updated 4 months ago
• djspiewak / scala-bison
  A recursive ascent/descent parser generator for Scala
  ☆33Updated 2 years ago
• ashwin153 / caustic
  A transactional programming language.
  ☆34Updated 6 years ago
• lolgab / cosmopolitan-scalajs-example
  Universal Scala.js executable
  ☆22Updated 2 years ago
• scala-native / scala-native-benchmarks
  Staging area for new benchmarking infrastructure for Scala Native.
  ☆15Updated last year
• Hirevo / koak
  A compiler for a little statically-typed language implemented in Haskell.
  ☆13Updated 6 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• wenkokke / featherweight-generic-go-generator
  Test suite for implementations of Featherweight Generic Go
  ☆34Updated 4 years ago
• regb / scala-smtlib
  Scala library for parsing and printing the SMT-LIB format
  ☆45Updated 2 years ago
• dzufferey / psync
  DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds
  ☆44Updated 3 years ago
• tersesystems / ocaps
  Object capability (ocap) tools and macros for Scala.
  ☆18Updated 7 months ago
• jemc / pony-capnp
  Cap’n Proto plugin for generating serializable Pony classes. - 'n
  ☆19Updated 7 years ago
• ivtoskov / lms-intrinsics
  A package that enables the use of SIMD x86 instructions in the Lightweight Modular Staging Framework (LMS).
  ☆40Updated 7 years ago
• sylvanc / pony-lecture
  Slides for Pony lectures
  ☆27Updated 7 years ago
• phaller / lacasa
  Lightweight affine types and object capabilities in Scala
  ☆32Updated 6 years ago
• DistributedComponents / verdi-chord
  An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
  ☆10Updated 6 years ago
• b-studios / java-effekt
  Effect Handlers for Java / the JVM
  ☆30Updated 5 years ago
• wdamron / poly
  Hindley-Milner type system with extensible records and variants, implemented in Go
  ☆21Updated 4 years ago
• xnning / Dissertation
  My PhD Thesis
  ☆14Updated 3 years ago
• nau / lasca-compiler
  Lasca is Scala shifted towards Haskell.
  ☆133Updated 6 years ago
• samskivert / bidir-scala
  A simple bidirectional type checker
  ☆18Updated 6 years ago
• analogweb / analogweb-scala
  Tiny High Performance HTTP Server for Scala
  ☆13Updated 6 months ago
• ashwin153 / beaker
  A distributed, transactional key-value store.
  ☆64Updated 6 years ago