Alternatives and similar repositories for wikibinator203

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

• alexobenauer / Breadboard
  ☆19Updated last year
• FolkComputer / folk
  🎁 Physical computing system.
  ☆172Updated last week
• atroyn / math-llm
  Grounding LLM mathematical reasoning with proof assistants.
  ☆64Updated 2 years ago
• DaveAckley / T2-12
  Support repository for the T2-12 tile
  ☆44Updated last year
• subconsciousnetwork / subconscious
  ☆12Updated last year
• snoglobe / prolog_mcp
  ☆22Updated 6 months ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆36Updated 5 months ago
• organix / uFork
  A pure-actor virtual machine with object-capabilities and memory-safety.
  ☆90Updated last month
• inkandswitch / ksp
  Reference implementation of Knowledge Server Protocol (KSP)
  ☆53Updated 5 years ago
• liminalbardo / liminal_backrooms
  ☆18Updated 7 months ago
• inkandswitch / ksp-browser
  Connect the things you already know in your browser.
  ☆74Updated 2 years ago
• bluefishjs / bluefish-archive
  A SolidJS diagramming framework
  ☆74Updated last year
• inkandswitch / potluck
  ☆84Updated last year
• tobyshooters / hyperpixel
  everything is an image
  ☆20Updated 2 years ago
• shriram / racket-embed-images-in-source-text
  Reader to enable embedding images in source files as text
  ☆22Updated 9 months ago
• inkandswitch / inkling
  archived prototype for sketching dynamic models
  ☆34Updated 3 months ago
• xieyuheng / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆38Updated 2 months ago
• engraftdev / engraft
  ☆44Updated last month
• anoma / geb
  A Categorical View of Computation
  ☆33Updated this week
• dkrasner / Simpletalk
  ☆60Updated 2 years ago
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆80Updated last year
• cluesurf / tree
  A Modeling Notation ꕤ
  ☆15Updated 4 months ago
• kragen / dercuano
  a quick system I hacked together to bundle a few thousand pages of notes I mostly haven’t published before up into an archive of pregener…
  ☆16Updated 3 years ago
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆85Updated 11 months ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆76Updated last year
• nt92 / memex
  We all have a BOATLOAD of data strewn across different apps. This is my attempt to unify my data into a common warehouse and do cool stuf…
  ☆46Updated 2 years ago
• Gadersd / ic
  An interaction combinator runtime
  ☆17Updated last year
• otherjoel / tabloid
  📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!
  ☆94Updated 4 years ago
• HigherOrderCO / kindbook
  ☆53Updated 9 months ago
• timhwang / nyrc
  The New York Review of Computation
  ☆99Updated 2 years ago