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.
☆24Updated 7 months ago
Related projects ⓘ
Alternatives and complementary repositories for wikibinator203
- 🎁 Physical computing system.☆102Updated this week
- ☆20Updated 3 months ago
- ☆9Updated 7 months ago
- Grounding LLM mathematical reasoning with proof assistants.☆60Updated last year
- A minimal proof checker.☆65Updated 2 months ago
- broadcast messages to everyone on your network☆19Updated last year
- ☆13Updated last year
- A Personal Software Runtime inspired by Emacs, Plan 9, Erlang, Hypermedia, and Unix☆35Updated this week
- Flexible, efficient, and context-aware generation from large unstructured knowledge sources.☆13Updated 6 months ago
- archived prototype for sketching dynamic models☆17Updated 3 weeks ago
- everything is an image☆16Updated last year
- botttom-up vr redux☆23Updated 3 years ago
- Leibniz - a Digital Scientific Notation☆34Updated 3 months ago
- ☆20Updated 2 weeks ago
- repository to work on future of coding weekly newsletter☆32Updated this week
- A dynamic data-driven document development environment (DDDDDE)☆80Updated last year
- We all have a BOATLOAD of data strewn across different apps. This is my attempt to unify my data into a common warehouse and do cool stuf…☆45Updated last year
- Git status + diff across every repo in a directory☆37Updated 2 years ago
- Connect the things you already know in your browser.☆72Updated last year
- A massively parallel, optimal functional runtime in Rust☆27Updated 3 months ago
- Molecular mechanics simulator for molecular nanotechnology☆24Updated 3 months ago
- a local first note taking app built around semantic search. built at @recursecenter☆43Updated last month
- Repository for programming language SPLAT: Spatial Programming Language, Ascii Text☆50Updated 3 years ago
- Catalogue of portals that maps out roadmap for self learners☆78Updated last year
- Experimental, recursively-embeddable, domain-specific editors and text editor☆79Updated last year
- a splitting sand game☆15Updated last year
- gpt completions in vscode☆30Updated last year
- Chat with GPT from the terminal, with the ability to execute shell scripts.☆90Updated 7 months ago
- Lisperanto is a spatial canvas for programming; Lisperanto is a spatial canvas for knowledge; Lisperanto is a spatial canvas for ideas;☆42Updated 2 years ago
- Design a growing artistic exhibit of your own making, with semantic search powered by OpenAI CLIP☆74Updated 2 weeks ago