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
  ☆78Updated 2 years ago
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆90Updated 5 years ago
• zserge / odetoj
  Rewrite of Arthur Whitney's one-page J interpreter in Rust
  ☆61Updated 5 years ago
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆100Updated 4 years ago
• pSpaces / Programming-with-Spaces
  Getting started, manuals and tutorials
  ☆55Updated last year
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆206Updated this week
• JonathanMEdwards / subtext10
  ☆104Updated 3 years ago
• Tablam / TablaM
  The practical relational programing language for data-oriented applications
  ☆213Updated 3 years ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 8 months ago
• monte-language / typhon
  A virtual machine for Monte.
  ☆68Updated 2 months ago
• kragen / peg-bootstrap
  A PEG that compiles itself.
  ☆76Updated 15 years ago
• magicmouse / beads-examples
  Examples of Beads programs
  ☆112Updated 6 months ago
• monte-language / monte
  A dynamic language inspired by Python and E.
  ☆79Updated 5 years ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆138Updated 3 weeks ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆31Updated 3 years ago
• tlack / xxl
  a minimal vector programming language
  ☆181Updated 5 years ago
• kparc / bcc
  bcc is a b compiler
  ☆33Updated 3 years ago
• zachgk / catln
  A high-level programming language
  ☆40Updated 11 months ago
• krcz / zygote
  Explorations in area of programming languages: concepts, typing, formal verification
  ☆18Updated 3 years ago
• razetime / ngn-k-tutorial
  An ngn/k tutorial.
  ☆211Updated last year
• smabie / xs
  concatenative array language inspired by kdb/+q
  ☆96Updated 3 years ago
• lokedhs / array
  Simple array language written in kotlin
  ☆46Updated 2 years ago
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆29Updated 3 years ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 3 years ago
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆67Updated last week
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆116Updated 7 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆83Updated 2 months ago
• dkrasner / Simpletalk
  ☆61Updated 2 years ago
• razetime / efficient-array-programming
  A collection of documents and writings on efficient programming in array-oriented languages akin to APL.
  ☆76Updated 2 years ago