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 last year
Alternatives and similar repositories for wikibinator203:
Users that are interested in wikibinator203 are comparing it to the libraries listed below
- ☆20Updated 8 months ago
- ☆9Updated last year
- 🎁 Physical computing system.☆132Updated this week
- ☆44Updated 6 months ago
- everything is an image☆19Updated 2 years ago
- A Modeling Notation ꕤ☆15Updated last month
- Typescript version of SPEEDy☆27Updated last week
- Leibniz - a Digital Scientific Notation☆34Updated 3 weeks ago
- Support repository for the T2-12 tile☆44Updated 11 months ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆78Updated last year
- Hypergraph Rewriting System☆71Updated last year
- ☆17Updated this week
- A minimal proof checker.☆74Updated 7 months ago
- Chat with GPT from the terminal, with the ability to execute shell scripts.☆93Updated last year
- repository to work on future of coding weekly newsletter☆32Updated last week
- An interaction combinator runtime☆17Updated 7 months ago
- ☆32Updated 3 months ago
- Content-addressed data over HTTP using magnet links☆25Updated this week
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆47Updated 2 months ago
- ☆39Updated last month
- Grounding LLM mathematical reasoning with proof assistants.☆63Updated last year
- broadcast messages to everyone on your network☆19Updated 2 years ago
- FOAM: Feature-Oriented Active Modeller, Version 3 (unstable)☆46Updated this week
- archived prototype for sketching dynamic models☆29Updated 3 months ago
- Experimental tool for writing dynamic Markdown docs that embed interactive explorable visualizations☆29Updated 3 years ago
- Connect the things you already know in your browser.☆72Updated 2 years ago
- A minimal pure functional language based on self dependent types.☆72Updated 2 years ago
- Discussion of MeTTa programming with examples☆25Updated last week
- Catalogue of portals that maps out roadmap for self learners☆79Updated 2 years ago
- screenshot-driven version tracking☆23Updated 2 years ago