Alternatives and similar repositories for IceDust

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

• orc-lang / orc
  Orc programming language implementation
  ☆45Updated 3 years ago
• freon4dsl / Freon4dsl
  Web Native language Workbench with Projectional Web Editor
  ☆71Updated last week
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆57Updated last year
• inrick / Featherweight-Java
  An attempt to implement the typing rules of Featherweight Java using Haskell.
  ☆11Updated 13 years ago
• rewriting / tom
  ☆34Updated 5 years ago
• enso-lang / enso
  ☆71Updated 5 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆14Updated 10 years ago
• metaborg / spoofax
  Spoofax runtime
  ☆149Updated 5 months ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆31Updated 13 years ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆29Updated 6 years ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• seba-- / sugarj
  Library-based Language Extensibility
  ☆39Updated 11 years ago
• SWI-Prolog / swipl-wasm
  Run SWI-Prolog in your browser using WebAssemply
  ☆77Updated 3 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• prologbyexample / code
  ☆31Updated 2 years ago
• jariazavalverde / fasill
  Fuzzy Aggregators and Similarity Into a Logic Language
  ☆26Updated last year
• namin / mk-on-smt
  miniKanren for search, SMT for solving
  ☆13Updated 6 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆86Updated 2 years ago
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆32Updated 2 months ago
• Verites / verigraph
  Software specification and verification system based on graph rewriting
  ☆37Updated 2 years ago
• dangtv / BIRDS
  Bidirectional transformation for Relational view update Datalog-based Strategies
  ☆21Updated 2 years ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆12Updated 11 years ago
• bpowers / liquid-types
  Logically Qualified Data Types - automatically infer refinement types
  ☆16Updated 4 years ago
• SMLFamily / SMLFamily.github.io
  Web site for standardml.org.
  ☆36Updated 2 years ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆70Updated 7 months ago
• mm-adt / vm
  The mm-ADT Virtual Machine
  ☆34Updated 4 years ago
• takikawa / wasm-redex
  WebAssembly model in Redex
  ☆16Updated 6 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆79Updated 2 years ago
• DIJamner / lambda-compiler
  A simple compiler from the lambda calculus to MIPS assembly
  ☆20Updated 8 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆14Updated 2 weeks ago