benrayfield / wikibinator203
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 9 months ago
Alternatives and similar repositories for wikibinator203:
Users that are interested in wikibinator203 are comparing it to the libraries listed below
- everything is an image☆16Updated 2 years ago
- ☆20Updated 5 months ago
- 🎁 Physical computing system.☆111Updated last week
- ☆9Updated 9 months ago
- broadcast messages to everyone on your network☆19Updated last year
- A minimal proof checker.☆69Updated 4 months ago
- Support repository for the T2-12 tile☆43Updated 8 months ago
- Grounding LLM mathematical reasoning with proof assistants.☆60Updated last year
- Main docs for the project☆11Updated 2 years ago
- repository to work on future of coding weekly newsletter☆32Updated this week
- Hypergraph Rewriting System☆66Updated 9 months ago
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆46Updated last week
- Leibniz - a Digital Scientific Notation☆33Updated last week
- Typescript version of SPEEDy☆23Updated this week
- A pure-actor virtual machine with object-capabilities and memory-safety.☆78Updated this week
- ☆43Updated 3 months ago
- botttom-up vr redux☆24Updated 3 years ago
- a splitting sand game☆16Updated last year
- Reference implementation of Knowledge Server Protocol (KSP)☆49Updated 4 years ago
- A Data Modeling Programming Language☆15Updated last month
- things that don't deserve their own repo☆64Updated last month
- Connect the things you already know in your browser.☆72Updated 2 years ago
- archived prototype for sketching dynamic models☆18Updated last week
- Notes, Questions, Ideas☆22Updated 7 years ago
- Bringing computing to the scale of a room makes it a communal and social experience.☆33Updated last year
- ☆13Updated last year
- A pseudo-random deterministic merkle tree built on LMDB☆67Updated 8 months ago
- Community spaces, consent, privacy, transparency, online.☆21Updated this week
- Experimental, recursively-embeddable, domain-specific editors and text editor☆79Updated last year