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 11 months ago
Alternatives and similar repositories for wikibinator203:
Users that are interested in wikibinator203 are comparing it to the libraries listed below
- ☆20Updated 7 months ago
- ☆9Updated 11 months ago
- everything is an image☆18Updated 2 years ago
- 🎁 Physical computing system.☆124Updated this week
- ☆39Updated this week
- Typescript version of SPEEDy☆26Updated 3 weeks ago
- Connect the things you already know in your browser.☆72Updated 2 years ago
- A Data Modeling Programming Language☆15Updated 3 months ago
- A Personal Software Runtime inspired by Emacs, Plan 9, Erlang, Hypermedia, and Unix☆36Updated this week
- ☆15Updated this week
- Bringing computing to the scale of a room makes it a communal and social experience.☆33Updated 2 years ago
- Flexible, efficient, and context-aware generation from large unstructured knowledge sources.☆15Updated 10 months ago
- Grounding LLM mathematical reasoning with proof assistants.☆63Updated last year
- A plugin for Figma that draws Sigils to a document☆20Updated 2 years ago
- A pseudo-random deterministic merkle tree built on LMDB☆71Updated last week
- Repository for programming language SPLAT: Spatial Programming Language, Ascii Text☆52Updated 3 years ago
- cli loom that uses git to manage branches☆25Updated 2 months 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…☆47Updated 2 years ago
- A query language for exploring knowledge graphs.☆142Updated 7 months ago
- A minimal proof checker.☆74Updated 6 months ago
- A dynamic data-driven document development environment (DDDDDE)☆82Updated 2 years ago
- A tiny, self-contained, general-purpose quantum interpreter.☆48Updated last year
- A Categorical View of Computation☆30Updated 5 months ago
- Support repository for the T2-12 tile☆44Updated 10 months ago
- ☆44Updated 5 months ago
- Domain Specific Languages for Computational Law☆71Updated last month
- A Javascript implementation of Pytorch with WebGPU.☆13Updated last year
- ☆76Updated last year
- Reader to enable embedding images in source files as text☆19Updated 3 months ago
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆47Updated last month