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:
- ☆20Updated 11 months ago
- archived prototype for sketching dynamic models☆31Updated 3 weeks ago
- Grounding LLM mathematical reasoning with proof assistants.☆63Updated 2 years ago
- 🎁 Physical computing system.☆162Updated this week
- ☆42Updated 3 months ago
- Hypergraph Rewriting System☆77Updated last year
- ☆19Updated 3 months ago
- ☆44Updated 8 months ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆79Updated last year
- 8-bit computational substrates☆42Updated last year
- Support repository for the T2-12 tile☆44Updated last year
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆55Updated 3 weeks ago
- Flexible, efficient, and context-aware generation from large unstructured knowledge sources.☆16Updated last year
- broadcast messages to everyone on your network☆19Updated 2 years ago
- Design a growing artistic exhibit of your own making, with semantic search powered by OpenAI CLIP☆82Updated 6 months ago
- ☆11Updated last year
- A SolidJS diagramming framework☆74Updated 11 months ago
- ☆19Updated 2 weeks ago
- Leibniz - a Digital Scientific Notation☆35Updated 3 months ago
- CS 498MC Martian Computing at the University of Illinois at Urbana–Champaign☆62Updated 3 years ago
- A dynamic data-driven document development environment (DDDDDE)☆83Updated 2 years ago
- ☆17Updated 5 months ago
- ☆18Updated last week
- screenshot-driven version tracking☆23Updated 3 years ago
- This is the repo for all cell sorting code and data☆18Updated 8 months ago
- in-progress 🚧 explosional 💥 editor☆23Updated 3 years ago
- A literate programming system for any language.☆111Updated last year
- The New York Review of Computation☆97Updated 2 years ago
- A massively parallel, optimal functional runtime in Rust☆31Updated 11 months ago
- A logic programming language that has features of both Datalog and answer set programming.☆117Updated 2 months ago