Alternatives and similar repositories for metamine

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

• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆77Updated 2 years ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 5 months ago
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆86Updated 5 years ago
• zserge / odetoj
  Rewrite of Arthur Whitney's one-page J interpreter in Rust
  ☆60Updated 5 years ago
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆99Updated 4 years ago
• HnimNart / deeplearning
  ☆53Updated last month
• JonathanMEdwards / subtext10
  ☆103Updated 3 years ago
• kelas / ooj
  the origins of J
  ☆63Updated 2 years ago
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆204Updated last week
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 3 years ago
• robsimmons / sketchzone
  Quality-of-life for fiddly little JS apps that modify user-generated text
  ☆19Updated 8 months ago
• magicmouse / beads-examples
  Examples of Beads programs
  ☆111Updated 3 months ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆113Updated 5 years ago
• marcsAtSkyhunter / Capper
  A web application server with built-in object capability security built on Node.js/Express
  ☆15Updated 4 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆78Updated 2 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆114Updated 7 years ago
• kparc / bcc
  bcc is a b compiler
  ☆33Updated 3 years ago
• alpha123 / vio
  A concise programming language that is fun to use
  ☆17Updated 9 years ago
• kragen / peg-bootstrap
  A PEG that compiles itself.
  ☆76Updated 15 years ago
• monte-language / typhon
  A virtual machine for Monte.
  ☆69Updated 3 weeks ago
• razetime / efficient-array-programming
  A collection of documents and writings on efficient programming in array-oriented languages akin to APL.
  ☆76Updated last year
• monte-language / monte
  A dynamic language inspired by Python and E.
  ☆79Updated 4 years ago
• razetime / ngn-k-tutorial
  An ngn/k tutorial.
  ☆207Updated last year
• shapr / bloohm
  visual bloom filter to display process status as neotrellis m4 output
  ☆27Updated last year
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆216Updated last year
• tlack / xxl
  a minimal vector programming language
  ☆181Updated 4 years ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆74Updated 2 years ago
• pointless-lang / pointless
  Pointless: a scripting language for learning and fun
  ☆122Updated 4 years ago