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
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆82Updated last week
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆66Updated 2 months ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆77Updated 5 years ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆94Updated last week
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆36Updated 2 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆78Updated 7 months ago
• jkoppel / ecta
  ☆37Updated last year
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 3 months ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆78Updated last year
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆124Updated this week
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated last year
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆20Updated 3 years ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆79Updated 7 months ago
• alt-romes / reference-counting
  Reference counting with linear types
  ☆32Updated 2 months ago
• ehatti / konna
  ☆16Updated 3 years ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆72Updated last month
• graydon / exhaustigen
  ☆11Updated 4 years ago
• frankmcsherry / datatoad
  An interactive Datalog
  ☆64Updated last week
• T-Brick / c0deine
  Reference compiler for c0
  ☆39Updated last month
• HnimNart / deeplearning
  ☆53Updated 5 months ago
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…
  ☆153Updated 7 months ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 3 years ago
• vmchale / apple
  Apple array system
  ☆69Updated last month
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆48Updated 4 years ago
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆22Updated 6 months ago
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆79Updated last month
• harp-lab / gdlog
  ☆87Updated last year
• lf94 / summonscript
  Manifest manifold models with magical machinations.
  ☆38Updated 3 months ago