Alternatives and similar repositories for caustic

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

• tombousso / sJava
  Java dialect using S-expressions
  ☆31Updated 7 years ago
• ashwin153 / beaker
  A distributed, transactional key-value store.
  ☆64Updated 6 years ago
• liufengyun / stoic
  a capability-based system
  ☆40Updated 7 years ago
• js-scala / js-scala
  js.scala: JavaScript as an embedded DSL in Scala
  ☆176Updated 10 years ago
• ramadis / slang
  📟 Encoding/Decoding tool for Martin David's theoretical S language programs.
  ☆16Updated 9 years ago
• heathermiller / f-p
  A new programming model for asynchronous and distributed programming.
  ☆36Updated 7 years ago
• MateVM / MateVM
  A Java JIT compiler written in Haskell
  ☆73Updated 11 years ago
• Michael2109 / cobalt
  The Cobalt programming language
  ☆36Updated 3 years ago
• idris-hackers / idris-java
  Java Code Generator for Idris
  ☆72Updated 9 years ago
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 9 years ago
• strymonas / staged-streams.scala
  ☆57Updated 8 years ago
• mfp / extprot
  extprot: extensible binary protocols for cross-language communication and long-term serialization
  ☆211Updated last year
• hawkw / mnemosyne
  A functional systems programming language with compile-time memory management
  ☆31Updated 3 years ago
• djspiewak / scala-bison
  A recursive ascent/descent parser generator for Scala
  ☆33Updated 2 years ago
• Tatskaari / GustoLang
  A toy language written in kotlin
  ☆16Updated 6 years ago
• GnaneshKunal / scala-native-starter
  A starter for scala-native.
  ☆27Updated 7 years ago
• mukeshtiwari / Idris
  Codes related to Idris
  ☆15Updated 9 years ago
• edwinb / States
  State machines in Idris
  ☆37Updated 8 years ago
• namin / unsound
  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
  ☆76Updated 2 years ago
• algebraic-graphs / scala
  Algebraic Graphs in Scala
  ☆27Updated 4 years ago
• david-pfx / Andl
  Andl is A New Database Language
  ☆75Updated 9 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆113Updated 5 years ago
• n8han / spde
  Spde extension library for Processing
  ☆48Updated 13 years ago
• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆85Updated last year
• KMahoney / squee
  A Typed, Composable Database Query Language
  ☆104Updated 4 years ago
• johnynek / bosatsu
  A python-ish pure and total functional programming language
  ☆227Updated last month
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago
• DemiMarie / rusty_scheme
  Very incomplete Scheme interpreter, written in Rust
  ☆23Updated 8 years ago
• julienrf / scalm
  Elm-inspired Scala library for writing web user interfaces
  ☆119Updated 4 years ago