Alternatives and similar repositories for DIQL

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

• namin / scalogno
  prototyping logic programming in Scala
  ☆41Updated 3 years ago
• lihaoyi / autojit
  ☆13Updated 6 years ago
• b-studios / java-effekt
  Effect Handlers for Java / the JVM
  ☆30Updated 5 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆31Updated 7 years ago
• algebraic-graphs / scala
  Algebraic Graphs in Scala
  ☆27Updated 3 years ago
• certichain / network-transformations
  A Framework for building Distributed Consensus Protocols
  ☆10Updated 7 years ago
• seba-- / sugarj
  Library-based Language Extensibility
  ☆39Updated 10 years ago
• scala-native / scala-native-benchmarks
  Staging area for new benchmarking infrastructure for Scala Native.
  ☆15Updated last year
• runarorama / scala-bound
  A library for developing languages with scoped binders (like forall or lambda).
  ☆28Updated 6 years ago
• madgen / exalog
  Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support
  ☆16Updated 4 years ago
• xuwei-k / nobox
  immutable primitive array/NonEmptyArray wrapper for Scala
  ☆33Updated this week
• epfldata / dbstage
  ☆15Updated 4 years ago
• bishabosha / Mesa
  Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.
  ☆21Updated 4 years ago
• phaller / lacasa
  Lightweight affine types and object capabilities in Scala
  ☆32Updated 6 years ago
• uwplse / magic
  Demystifying the magic of supertactics
  ☆13Updated 3 years ago
• namin / dafny-sandbox
  Dafny for Metatheory of Programming Languages
  ☆25Updated 2 weeks ago
• ikuraj / SciFe
  SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants
  ☆15Updated last year
• Frege / frege-interpreter
  Frege Interpreter
  ☆15Updated 4 years ago
• davegurnell / atlas
  A tiny embedded scripting language implemented in Scala.
  ☆24Updated 6 years ago
• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆35Updated this week
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated 2 months ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 6 years ago
• tvdstorm / oalgcomp
  Object Algebra Composition
  ☆24Updated 11 years ago
• sviperll / higher-kinded-java
  ☆13Updated 8 years ago
• martinring / cobra
  Proof and Code Presentation Framework
  ☆21Updated 5 years ago
• NicolasT / paxos
  A Haskell library implementing several Paxos-related algorithms
  ☆25Updated 12 years ago
• Blaisorblade / dot-iris
  Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization
  ☆31Updated last month
• regb / scala-smtlib
  Scala library for parsing and printing the SMT-LIB format
  ☆45Updated 2 years ago
• coot / free-algebras
  Free Algebras in Haskell
  ☆37Updated 9 months ago
• habit-lang / mil-tools
  Tools for MIL, a Monadic Intermediate Language
  ☆21Updated 8 months ago