fegaras / DIQL

Related projects ⓘ

Alternatives and complementary repositories for DIQL

• djspiewak / scala-bison
  A recursive ascent/descent parser generator for Scala
  ☆33Updated last year
• jbosboom / streamjit
  DSL and commensal compiler for high-performance stream programming
  ☆12Updated 9 years ago
• lihaoyi / autojit
  ☆13Updated 5 years ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆40Updated 2 years ago
• runarorama / scala-bound
  A library for developing languages with scoped binders (like forall or lambda).
  ☆28Updated 6 years ago
• bholt / ipa
  Safely trading off consistency for performance.
  ☆12Updated 4 years ago
• regb / scabolic
  Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.
  ☆32Updated 9 years ago
• TomasMikula / LambdaCart
  Lambda syntax for Scala EDSLs
  ☆26Updated last year
• hmrc / play-fsm
  ☆11Updated last year
• almondtools / rexlex
  Regular Expressions and Lexing with DFAs
  ☆9Updated 6 months ago
• suhailshergill / TTFI
  typed tagless final interpreters
  ☆13Updated 7 years ago
• ivtoskov / lms-intrinsics
  A package that enables the use of SIMD x86 instructions in the Lightweight Modular Staging Framework (LMS).
  ☆40Updated 6 years ago
• softwaremill / monix-correlation-id
  ☆10Updated 5 years ago
• andreaferretti / lethe
  Oblivious RAM for Scala
  ☆19Updated 3 years ago
• regb / scala-smtlib
  Scala library for parsing and printing the SMT-LIB format
  ☆44Updated last year
• atomix / atomix-jepsen
  Atomix Jepsen tests
  ☆14Updated 7 years ago
• tersesystems / ocaps
  Object capability (ocap) tools and macros for Scala.
  ☆17Updated 6 months ago
• ilya-klyuchnikov / mrsc
  A toolkit for building multi-result supercompilers
  ☆30Updated 3 years ago
• rberenguel / tla_lightning
  Lightning talk about TLA+ for Scala Exchange 2018
  ☆9Updated 4 years ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 5 years ago
• strymonas / staged-streams.scala
  ☆57Updated 7 years ago
• lampepfl / lsp-viewer
  Web UI for analyzing Language Server Protocol logs
  ☆11Updated last year
• richardstartin / splitmap
  Parallel boolean circuit evaluation
  ☆19Updated 6 years ago
• forax / write_your_dynamic_language_runtime
  How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM
  ☆13Updated 8 months ago
• algebraic-graphs / scala
  Algebraic Graphs in Scala
  ☆26Updated 3 years ago
• gkossakowski / scalac-aspects
  Playground for instrumenting `scalac` using AspectJ.
  ☆43Updated 10 years ago
• Atry / memcontinuationed
  Memcached client for Scala
  ☆50Updated 7 years ago
• nez-peg / nez
  Nez parsing library
  ☆24Updated 2 years ago
• hablapps / stateless
  A library which is not recognized as citizen of any infrastructure.
  ☆26Updated 4 years ago
• bishabosha / Mesa
  Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.
  ☆20Updated 4 years ago