Alternatives and similar repositories for metamine

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

• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆78Updated 2 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• JonathanMEdwards / subtext10
  ☆104Updated 3 years ago
• kragen / peg-bootstrap
  A PEG that compiles itself.
  ☆76Updated 15 years ago
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆100Updated 4 years ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 3 years ago
• zserge / odetoj
  Rewrite of Arthur Whitney's one-page J interpreter in Rust
  ☆61Updated 5 years ago
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆211Updated last week
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆86Updated 9 months ago
• monte-language / typhon
  A virtual machine for Monte.
  ☆68Updated 2 months ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆31Updated 3 years ago
• marcsAtSkyhunter / Capper
  A web application server with built-in object capability security built on Node.js/Express
  ☆15Updated 5 years ago
• kparc / bcc
  bcc is a b compiler
  ☆33Updated 3 years ago
• zachgk / catln
  A high-level programming language
  ☆40Updated last year
• tlack / xxl
  a minimal vector programming language
  ☆181Updated 5 years ago
• magicmouse / beads-examples
  Examples of Beads programs
  ☆112Updated 7 months ago
• comby-tools / comby-reducer
  A simple program reducer for any language.
  ☆77Updated 2 years ago
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆67Updated last month
• danlm / QNial7
  The NIAL language environment
  ☆114Updated 2 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆116Updated 7 years ago
• nirvanasupermind / owlet
  Programming language for ternary computing
  ☆31Updated 4 years ago
• HnimNart / deeplearning
  ☆53Updated 5 months ago
• graydon / exhaustigen
  ☆11Updated 4 years ago
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆120Updated this week
• smabie / xs
  concatenative array language inspired by kdb/+q
  ☆96Updated 3 years ago
• monte-language / monte
  A dynamic language inspired by Python and E.
  ☆79Updated 5 years ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• sparist / Om
  The Om programming language.
  ☆174Updated last year
• guregu / php
  Prolog Home Page
  ☆74Updated 7 months ago
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆91Updated 5 years ago