Alternatives and similar repositories for Weave

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

• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆31Updated 3 years ago
• erwasm / erwasm-http
  Run erlang as a WASI http server (vapourware)
  ☆27Updated 10 months ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• alpha123 / vio
  A concise programming language that is fun to use
  ☆17Updated 9 years ago
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆68Updated this week
• mrjbq7 / re-factor
  Small utilities and vocabularies implemented in the Factor programming language.
  ☆132Updated 3 weeks ago
• coil-language / coil-lang
  The Coil Programming Language
  ☆33Updated last year
• nirvanasupermind / owlet
  Programming language for ternary computing
  ☆30Updated 4 years ago
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 4 years ago
• tlack / xxl
  a minimal vector programming language
  ☆181Updated 4 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆78Updated 2 years ago
• mthom / scryer-shen
  ☆56Updated 4 months ago
• smabie / xs
  concatenative array language inspired by kdb/+q
  ☆96Updated 3 years ago
• JonathanMEdwards / subtext10
  ☆101Updated 3 years ago
• caminadab / metamine
  A new declarative programming language
  ☆23Updated 4 years ago
• zachallaun / secd
  A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
  ☆123Updated 12 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• mcapodici / badlanguage
  A lisp-looking language with interpreter and compiler to JS
  ☆28Updated 6 years ago
• mathgladiator / adama-lang
  A headless spreadsheet document container service.
  ☆106Updated 7 months ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆92Updated 6 years ago
• hostilefork / rebmu
  Microscopic Rebol Dialect ("mooshed") for Code Golf
  ☆29Updated last year
• dsagman / picat
  Learning Constraint Programming with Picat
  ☆41Updated last week
• lokedhs / array
  Simple array language written in kotlin
  ☆46Updated 2 years ago
• pavel-krivanek / articles
  Variaous articles
  ☆80Updated 2 years ago
• a-yiorgos / smallprolog
  Small Prolog
  ☆14Updated 8 years ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 3 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
• PlanetAPL / openAPL
  ☆20Updated 8 years ago
• Racket-Cookbooks / Plot-cookbook
  Plot Cookbook
  ☆50Updated 2 years ago
• kelas / ooj
  the origins of J
  ☆63Updated 2 years ago