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.
☆28Updated last year
Alternatives and similar repositories for wikibinator203
Users that are interested in wikibinator203 are comparing it to the libraries listed below
Sorting:
- ☆19Updated last year
- ☆11Updated last year
- Grounding LLM mathematical reasoning with proof assistants.☆64Updated 2 years ago
- archived prototype for sketching dynamic models☆39Updated this week
- Leibniz - a Digital Scientific Notation☆36Updated 10 months ago
- ☆86Updated 2 years ago
- Chat with GPT from the terminal, with the ability to execute shell scripts.☆107Updated last year
- CS 498MC Martian Computing at the University of Illinois at Urbana–Champaign☆64Updated 3 years ago
- Support repository for the T2-12 tile☆45Updated last year
- A Categorical View of Computation☆34Updated last month
- 🎁 Physical computing system.☆198Updated this week
- Connect the things you already know in your browser.☆76Updated 3 years ago
- 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…☆46Updated 2 years ago
- A Javascript implementation of Pytorch with WebGPU.☆14Updated 2 years ago
- Design a growing artistic exhibit of your own making, with semantic search powered by OpenAI CLIP☆93Updated last year
- Repository for programming language SPLAT: Spatial Programming Language, Ascii Text☆52Updated 4 years ago
- a sharable language☆14Updated last year
- A query language for exploring knowledge graphs.☆145Updated 8 months ago
- things that don't deserve their own repo☆63Updated 7 months ago
- ☆16Updated last year
- Self-hosted GPT playground☆113Updated last year
- repository to work on future of coding weekly newsletter☆32Updated this week
- ☆43Updated 5 months ago
- cli loom that uses git to manage branches☆32Updated last year
- 🌌 Towards a Digital Pluriverse: “a world where many worlds may fit”☆15Updated 3 years ago
- Catalogue of portals that maps out roadmap for self learners☆83Updated 3 years ago
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆58Updated last year
- A creative coding environment where Claude can express itself through generative art using p5.js. See tweet thread for examples: https://…☆13Updated last week
- Lisp implementation of Lurk.☆78Updated last year
- A SolidJS diagramming framework☆74Updated last year