Alternatives and similar repositories for mech

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

• Tablam / TablaM
  The practical relational programing language for data-oriented applications
  ☆209Updated 2 years ago
• lord / anchors
  self adjusting computations in rust
  ☆137Updated 3 years ago
• jamii / imp
  Various experiments in relational programming
  ☆272Updated 3 years ago
• cell-lang / compiler
  Cell compiler
  ☆115Updated 2 years ago
• ditto-lang / ditto
  👌 A smol functional language that targets other languages
  ☆63Updated last year
• witheve / eve-native
  ☆189Updated 5 years ago
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆212Updated 7 months ago
• qpdb / mentat
  A persistent, relational store inspired by Datomic and DataScript.
  ☆55Updated 2 years ago
• ekzhang / ukanren-rs
  Rust implementation of µKanren, a featherweight relational programming language.
  ☆115Updated 2 years ago
• etaoins / arret
  Pure functional Lisp implemented in Rust
  ☆208Updated 3 years ago
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆117Updated last week
• paulstansifer / unseemly
  Macros have types!
  ☆131Updated 2 years ago
• luminalang / lumina
  Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compile…
  ☆103Updated 3 weeks ago
• JonathanMEdwards / subtext10
  ☆101Updated 3 years ago
• pointless-lang / pointless
  Pointless: a scripting language for learning and fun
  ☆122Updated 4 years ago
• strtok / marwood
  An embeddable Scheme R7 Compiler & Runtime written in Rust
  ☆106Updated 3 months ago
• hazelgrove / tylr
  a tiny tile-based editor
  ☆306Updated 2 weeks ago
• Adapton / adapton.rust
  General-purpose abstractions for incremental computing, in Rust
  ☆357Updated 3 years ago
• tokay-lang / tokay
  Tokay programming language, designed for ad-hoc parsing and syntax-directed development.
  ☆246Updated 3 weeks ago
• yeslogic / fathom
  🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
  ☆264Updated last year
• ekzhang / percival
  📝 Web-based, reactive Datalog notebooks for data analysis and visualization
  ☆622Updated 2 years ago
• alantech / alan
  Autoscalable Programming Language
  ☆316Updated last week
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆80Updated last year
• SaberVM / SaberVM
  ☆213Updated last year
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• cfallin / weval
  ☆173Updated 10 months ago
• linkdd / letlang
  Functional language with a powerful type system.
  ☆172Updated last year
• mlatu-lang / mlatu
  A declarative concatenative programming language
  ☆165Updated 10 months ago
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆68Updated last year
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆62Updated 2 years ago