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.
☆26Updated last year
Alternatives and similar repositories for wikibinator203
Users that are interested in wikibinator203 are comparing it to the libraries listed below
Sorting:
- ☆20Updated last year
- A Modeling Notation ꕤ☆15Updated 4 months ago
- Grounding LLM mathematical reasoning with proof assistants.☆64Updated 2 years ago
- 🎁 Physical computing system.☆169Updated last week
- Leibniz - a Digital Scientific Notation☆36Updated 5 months ago
- A Categorical View of Computation☆33Updated this week
- Experimental, recursively-embeddable, domain-specific editors and text editor☆80Updated last year
- Support repository for the T2-12 tile☆44Updated last year
- ☆43Updated last month
- ☆84Updated last year
- ☆11Updated last year
- broadcast messages to everyone on your network☆20Updated 2 years ago
- everything is an image☆20Updated 2 years ago
- Connect the things you already know in your browser.☆73Updated 2 years ago
- ☆18Updated 7 months ago
- The New York Review of Computation☆99Updated 2 years ago
- archived prototype for sketching dynamic models☆33Updated 2 months ago
- A Javascript implementation of Pytorch with WebGPU.☆13Updated 2 years ago
- 📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!☆94Updated 4 years ago
- Reader to enable embedding images in source files as text☆22Updated 8 months ago
- Repository for programming language SPLAT: Spatial Programming Language, Ascii Text☆52Updated 3 years ago
- Discussion of MeTTa programming with examples☆31Updated 2 weeks ago
- Chat with GPT from the terminal, with the ability to execute shell scripts.☆93Updated last year
- Reference implementation of Knowledge Server Protocol (KSP)☆53Updated 5 years ago
- Hypergraph Rewriting System☆82Updated last year
- A query language for exploring knowledge graphs.☆143Updated 3 months ago
- An implementation of interaction nets as a forth-like language.☆38Updated last month
- A lisp dialect based on pattern matching and term rewriting☆84Updated 11 months ago
- A pure-actor virtual machine with object-capabilities and memory-safety.☆90Updated 2 weeks ago
- A SolidJS diagramming framework☆74Updated last year