Alternatives and similar repositories for mech:

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

• jamii / imp
  Various experiments in relational programming
  ☆272Updated 3 years ago
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆209Updated 2 months ago
• Tablam / TablaM
  The practical relational programing language for data-oriented applications
  ☆198Updated 2 years ago
• lord / anchors
  self adjusting computations in rust
  ☆135Updated 3 years ago
• cell-lang / compiler
  Cell compiler
  ☆113Updated last year
• JonathanMEdwards / subtext10
  ☆99Updated 3 years ago
• pointless-lang / pointless
  Pointless: a scripting language for learning and fun
  ☆122Updated 4 years ago
• witheve / eve-native
  ☆188Updated 5 years ago
• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆389Updated 2 years ago
• mlatu-lang / mlatu
  A declarative concatenative programming language
  ☆164Updated 5 months ago
• hazelgrove / tylr
  a tiny tile-based editor
  ☆304Updated last week
• Adapton / adapton.rust
  General-purpose abstractions for incremental computing, in Rust
  ☆355Updated 3 years ago
• ekzhang / ukanren-rs
  Rust implementation of µKanren, a featherweight relational programming language.
  ☆113Updated 2 years ago
• etaoins / arret
  Pure functional Lisp implemented in Rust
  ☆207Updated 3 years ago
• dkellner / chronofold
  Chronofold is a conflict-free replicated data structure (a.k.a. CRDT) for versioned text.
  ☆93Updated 3 years ago
• cfallin / weval
  ☆172Updated 5 months ago
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆196Updated this week
• ekzhang / crepe
  Datalog compiler embedded in Rust as a procedural macro
  ☆468Updated last year
• advancedresearch / poi
  a pragmatic point-free theorem prover assistant
  ☆138Updated last year
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆112Updated last month
• fleabitdev / glsp
  The GameLisp scripting language
  ☆399Updated 3 years ago
• tokay-lang / tokay
  Tokay is a programming language designed for ad-hoc parsing, inspired by awk.
  ☆241Updated this week
• VineLang / vine
  an experimental new programming language based on interaction nets
  ☆232Updated this week
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆54Updated last year
• jamii / dida
  Differential dataflow for mere mortals
  ☆520Updated 2 years ago
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆395Updated 2 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• SomewhatML / sml-compiler
  A compiler for Standard ML, somewhat
  ☆202Updated 2 years ago
• zserge / odetoj
  Rewrite of Arthur Whitney's one-page J interpreter in Rust
  ☆62Updated 5 years ago
• strtok / marwood
  An embeddable Scheme R7 Compiler & Runtime written in Rust
  ☆103Updated last month