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:
- everything is an image☆19Updated 2 years ago
- ☆20Updated 10 months ago
- broadcast messages to everyone on your network☆19Updated 2 years ago
- 🎁 Physical computing system.☆154Updated last week
- Grounding LLM mathematical reasoning with proof assistants.☆63Updated 2 years ago
- An interaction combinator runtime☆17Updated 9 months ago
- Community spaces, consent, privacy, transparency, online.☆25Updated 3 weeks ago
- Flexible, efficient, and context-aware generation from large unstructured knowledge sources.☆16Updated last year
- Support repository for the T2-12 tile☆44Updated last year
- ☆44Updated 8 months ago
- ☆9Updated last year
- Reference implementation of Knowledge Server Protocol (KSP)☆52Updated 5 years ago
- Leibniz - a Digital Scientific Notation☆35Updated 2 months ago
- A transistor-level logic simulator inspired by the Intel 4004 and Zachtronic's KOHCTPYKTOP, build with Rust + WASM☆33Updated 2 months ago
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆59Updated last year
- ☆13Updated 2 years ago
- A Modeling Notation ꕤ☆15Updated last month
- A plugin for Figma that draws Sigils to a document☆20Updated 2 years ago
- Connect the things you already know in your browser.☆73Updated 2 years ago
- ☆40Updated 2 months ago
- Domain Specific Languages for Computational Law☆76Updated 4 months ago
- A bare-bones blogging system, written in Prolog☆25Updated last year
- ☆18Updated 2 months ago
- Notes, Questions, Ideas☆23Updated 7 years ago
- ☆114Updated last year
- cli loom that uses git to manage branches☆26Updated 5 months ago
- the supercharged twitter feed☆20Updated last week
- Reader to enable embedding images in source files as text☆19Updated 6 months ago
- A minimal proof checker.☆74Updated 9 months ago
- A tiny, self-contained, general-purpose quantum interpreter.☆49Updated last year