benrayfield / wikibinator203Links
Lambda called on lambda finds/creates lambda, each with lazy-evaled 256 bit global DAG ids. Each lambda has 2 child lambdas. A kind of number that is a universal-pattern-calculus-combinator. Axgob.js (in dagball project, lib dir) is incomplete newer version of this. A fork-editable multiverse of all possible lambdas.
β25Updated last year
Alternatives and similar repositories for wikibinator203
Users that are interested in wikibinator203 are comparing it to the libraries listed below
Sorting:
- β20Updated 9 months ago
- π Physical computing system.β141Updated this week
- everything is an imageβ19Updated 2 years ago
- β9Updated last year
- 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β¦β47Updated 2 years ago
- broadcast messages to everyone on your networkβ19Updated 2 years ago
- A plugin for Figma that draws Sigils to a documentβ20Updated 2 years ago
- β13Updated 2 years ago
- archived prototype for sketching dynamic modelsβ30Updated 4 months ago
- β44Updated 7 months ago
- β16Updated 2 months ago
- Support repository for the T2-12 tileβ44Updated last year
- Grounding LLM mathematical reasoning with proof assistants.β62Updated last year
- A Modeling Notation κ€β15Updated 2 weeks ago
- Experimental, recursively-embeddable, domain-specific editors and text editorβ78Updated last year
- Flexible, efficient, and context-aware generation from large unstructured knowledge sources.β16Updated last year
- Typescript version of SPEEDyβ27Updated this week
- β17Updated this week
- Connect the things you already know in your browser.β72Updated 2 years ago
- β40Updated last month
- π Towards a Digital Pluriverse: βa world where many worlds may fitββ13Updated 3 years ago
- tiny experimental language for limited environmentsβ17Updated 2 years ago
- β35Updated last year
- Hypergraph Rewriting Systemβ71Updated last year
- Python async bluesky client and TUI (eventually)β43Updated 2 years ago
- A lisp dialect based on pattern matching and term rewritingβ84Updated 7 months ago
- β17Updated 3 months ago
- Leibniz - a Digital Scientific Notationβ34Updated last month
- β15Updated last month
- Discussion of MeTTa programming with examplesβ26Updated 3 weeks ago