Alternatives and similar repositories for model-js-workspace

Users that are interested in model-js-workspace are comparing it to the libraries listed below

• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆115Updated this week
• graydon / exhaustigen
  ☆11Updated 4 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆77Updated 5 years ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated 11 months ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆64Updated this week
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆77Updated last year
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆81Updated last month
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆180Updated 4 years ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆43Updated last year
• HnimNart / deeplearning
  ☆53Updated 3 months ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆80Updated last week
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆78Updated 3 months ago
• xieyuheng / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆36Updated last week
• joom / dilim
  A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.
  ☆16Updated last year
• harp-lab / gdlog
  ☆88Updated last year
• jkoppel / ecta
  ☆37Updated last year
• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆46Updated last month
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…
  ☆152Updated 5 months ago
• rachitnigam / runt
  A lighweight and parallel snapshot testing framework in rust
  ☆37Updated 2 years ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆73Updated 5 months ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆71Updated this week
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆91Updated this week
• anoma / geb
  A Categorical View of Computation
  ☆33Updated last week
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 4 years ago
• hazelgrove / hazelnut-dynamics-agda
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆21Updated last year
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆77Updated 4 months ago
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆19Updated 3 years ago