Alternatives and similar repositories for TablaM

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

• mech-lang / mech
  🦾 Mech is a programming language for building data-driven systems like robots, games, and interfaces. Start here!
  ☆245Updated this week
• cell-lang / compiler
  Cell compiler
  ☆115Updated 2 years ago
• ekzhang / ukanren-rs
  Rust implementation of µKanren, a featherweight relational programming language.
  ☆115Updated 2 years ago
• jamii / imp
  Various experiments in relational programming
  ☆272Updated 3 years ago
• lord / anchors
  self adjusting computations in rust
  ☆136Updated 4 years ago
• mlatu-lang / mlatu
  A declarative concatenative programming language
  ☆166Updated last month
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆212Updated 9 months ago
• SomewhatML / sml-compiler
  A compiler for Standard ML, somewhat
  ☆203Updated 3 years ago
• strtok / marwood
  An embeddable Scheme R7 Compiler & Runtime written in Rust
  ☆105Updated 5 months ago
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆118Updated last week
• magicmouse / beads-examples
  Examples of Beads programs
  ☆111Updated 4 months ago
• cfallin / weval
  ☆174Updated last month
• pointless-lang / pointless
  Pointless: a scripting language for learning and fun
  ☆122Updated this week
• ehatti / peridot
  A fast functional language based on two level type theory
  ☆391Updated 2 years ago
• SaberVM / SaberVM
  ☆212Updated last year
• alantech / alan
  Autoscalable Programming Language
  ☆317Updated last week
• hazelgrove / tylr
  a tiny tile-based editor
  ☆311Updated last month
• luminalang / lumina
  Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compile…
  ☆108Updated 2 months ago
• linkdd / letlang
  Functional language with a powerful type system.
  ☆172Updated last year
• zachgk / catln
  A high-level programming language
  ☆40Updated 9 months ago
• JasonSteving99 / claro-lang
  Claro Lang
  ☆145Updated last year
• frankmcsherry / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆175Updated 3 weeks ago
• KeliLanguage / compiler
  The compiler for Keli
  ☆173Updated 6 years ago
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆180Updated 10 months ago
• tokay-lang / tokay
  Tokay programming language, designed for ad-hoc parsing and syntax-directed development.
  ☆248Updated last week
• zserge / odetoj
  Rewrite of Arthur Whitney's one-page J interpreter in Rust
  ☆60Updated 5 years ago
• paulstansifer / unseemly
  Macros have types!
  ☆132Updated 2 years ago
• yeslogic / fathom
  🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
  ☆266Updated 2 years ago
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆204Updated last week
• Storyyeller / IntercalScript
  The IntercalScript programming language
  ☆139Updated 5 years ago