Alternatives and similar repositories for DIQL:

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

• Blaisorblade / dot-iris
  Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization
  ☆31Updated last month
• certichain / network-transformations
  A Framework for building Distributed Consensus Protocols
  ☆10Updated 7 years ago
• b-studios / java-effekt
  Effect Handlers for Java / the JVM
  ☆30Updated 5 years ago
• namin / dafny-sandbox
  Dafny for Metatheory of Programming Languages
  ☆25Updated 2 months ago
• lihaoyi / autojit
  ☆13Updated 5 years ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆41Updated 2 years ago
• scala-native / scala-native-benchmarks
  Staging area for new benchmarking infrastructure for Scala Native.
  ☆15Updated last year
• TomasMikula / LambdaCart
  Lambda syntax for Scala EDSLs
  ☆26Updated last year
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆31Updated 7 years ago
• habit-lang / mil-tools
  Tools for MIL, a Monadic Intermediate Language
  ☆21Updated 6 months ago
• epfl-lara / SystemFR
  System FR: Formalized Foundations for Stainless
  ☆9Updated 3 years ago
• algebraic-graphs / scala
  Algebraic Graphs in Scala
  ☆26Updated 3 years ago
• bishabosha / Mesa
  Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.
  ☆20Updated 4 years ago
• davegurnell / atlas
  A tiny embedded scripting language implemented in Scala.
  ☆24Updated 6 years ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 6 years ago
• DistributedComponents / verdi-chord
  An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
  ☆10Updated 6 years ago
• phaller / lacasa
  Lightweight affine types and object capabilities in Scala
  ☆32Updated 6 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 8 years ago
• ilya-klyuchnikov / mrsc
  A toolkit for building multi-result supercompilers
  ☆30Updated 3 years ago
• nickng / asyncpi
  An implementation of asynchronous π-calculus in Go
  ☆7Updated 3 years ago
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆56Updated 5 months ago
• epfldata / dbstage
  ☆15Updated 4 years ago
• hubris-lang / hubris
  A dependently typed programming language, and verification tool
  ☆26Updated 8 years ago
• fsestini / tt-in-cubical
  Type Theory in Type Theory using Cubical Agda
  ☆12Updated 6 years ago
• coot / free-algebras
  Free Algebras in Haskell
  ☆37Updated 6 months ago
• liufengyun / stoic
  a capability-based system
  ☆40Updated 6 years ago
• ivashkev / math-formalizations
  Formalization of some elementary mathematical theories in Coq
  ☆14Updated 4 years ago
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago