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.
☆28Updated last year
Alternatives and similar repositories for wikibinator203
Users that are interested in wikibinator203 are comparing it to the libraries listed below
Sorting:
- ☆19Updated last year
- archived prototype for sketching dynamic models☆38Updated 6 months ago
- Support repository for the T2-12 tile☆44Updated last year
- ☆11Updated last year
- Grounding LLM mathematical reasoning with proof assistants.☆64Updated 2 years ago
- 🎁 Physical computing system.☆193Updated last week
- Leibniz - a Digital Scientific Notation☆36Updated 9 months ago
- Discussion of MeTTa programming with examples☆34Updated 4 months ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆80Updated 2 years ago
- ☆43Updated 5 months ago
- 📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!☆95Updated 4 years ago
- A pure-actor virtual machine with object-capabilities and memory-safety.☆90Updated last week
- a sharable language☆14Updated last year
- ☆86Updated 2 years ago
- A minimal proof checker.☆78Updated last year
- A Categorical View of Computation☆34Updated 2 weeks ago
- The core application of Greenlight☆33Updated last year
- Connect the things you already know in your browser.☆75Updated 3 years ago
- Hypergraph Rewriting System☆95Updated 2 months ago
- Catalogue of portals that maps out roadmap for self learners☆83Updated 3 years ago
- A Modeling Notation ꕤ☆15Updated 2 months ago
- A dynamic data-driven document development environment (DDDDDE)☆85Updated 2 years ago
- Community spaces, consent, privacy, transparency, online.☆27Updated last week
- Repository for programming language SPLAT: Spatial Programming Language, Ascii Text☆52Updated 4 years ago
- ☆104Updated 3 years ago
- The Coil Programming Language☆33Updated last year
- repository to work on future of coding weekly newsletter☆32Updated last week
- broadcast messages to everyone on your network☆20Updated 2 years ago
- A literate programming system for any language.☆121Updated 2 years ago
- Croquet Jasmine (2004) on SqueakJS☆32Updated 8 months ago