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.
☆27Updated last year
Alternatives and similar repositories for wikibinator203
Users that are interested in wikibinator203 are comparing it to the libraries listed below
Sorting:
- Support repository for the T2-12 tile☆44Updated last year
- ☆19Updated last year
- ☆12Updated last year
- 🎁 Physical computing system.☆178Updated this week
- Grounding LLM mathematical reasoning with proof assistants.☆64Updated 2 years ago
- CS 498MC Martian Computing at the University of Illinois at Urbana–Champaign☆63Updated 3 years ago
- archived prototype for sketching dynamic models☆38Updated 5 months ago
- Repository for programming language SPLAT: Spatial Programming Language, Ascii Text☆52Updated 4 years ago
- Leibniz - a Digital Scientific Notation☆36Updated 7 months ago
- Discussion of MeTTa programming with examples☆34Updated 3 months ago
- Hypergraph Rewriting System☆92Updated last month
- a sharable language☆14Updated 10 months ago
- ☆85Updated 2 years ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆80Updated 2 years ago
- Reference implementation of Knowledge Server Protocol (KSP)☆54Updated 5 years ago
- ☆23Updated 8 months ago
- everything is an image☆20Updated 2 years ago
- Text generator prompting with Boolean operators☆181Updated 2 weeks ago
- A literate programming system for any language.☆117Updated last year
- ☆104Updated 3 years ago
- A Categorical View of Computation☆33Updated this week
- A logic programming language that has features of both Datalog and answer set programming.☆119Updated this week
- The New York Review of Computation☆99Updated 2 years ago
- tiny experimental language for limited environments☆17Updated 2 years ago
- ☆44Updated last year
- repository to work on future of coding weekly newsletter☆32Updated this week
- Design a growing artistic exhibit of your own making, with semantic search powered by OpenAI CLIP☆92Updated 11 months ago
- Fork of Lua 5.1 to encourage end-user programming☆172Updated 2 years ago
- A query language for exploring knowledge graphs.☆145Updated 6 months ago
- broadcast messages to everyone on your network☆19Updated 2 years ago