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 last year
Alternatives and similar repositories for wikibinator203:
Users that are interested in wikibinator203 are comparing it to the libraries listed below
- π Physical computing system.β124Updated this week
- β20Updated 8 months ago
- Support repository for the T2-12 tileβ44Updated 11 months ago
- β13Updated 2 weeks ago
- broadcast messages to everyone on your networkβ19Updated 2 years ago
- Reference implementation of Knowledge Server Protocol (KSP)β50Updated 4 years ago
- An interaction combinator runtimeβ17Updated 6 months ago
- Leibniz - a Digital Scientific Notationβ34Updated this week
- β44Updated 5 months ago
- β39Updated last week
- everything is an imageβ18Updated 2 years ago
- A Modeling Notation κ€β15Updated 2 weeks ago
- A minimal proof checker.β75Updated 7 months ago
- Connect the things you already know in your browser.β72Updated 2 years ago
- Grounding LLM mathematical reasoning with proof assistants.β63Updated last year
- Domain Specific Languages for Computational Lawβ72Updated 2 months ago
- β9Updated last year
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.β47Updated 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
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.β22Updated last week
- Flexible, efficient, and context-aware generation from large unstructured knowledge sources.β16Updated 11 months ago
- Experimental, recursively-embeddable, domain-specific editors and text editorβ78Updated last year
- repository to work on future of coding weekly newsletterβ32Updated this week
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)β51Updated 3 months ago
- archived prototype for sketching dynamic modelsβ27Updated 2 months ago
- β32Updated 3 months ago
- WebAssembly implementation of the Uxn virtual machineβ43Updated 8 months ago
- Hypergraph Rewriting Systemβ71Updated last year
- Reader to enable embedding images in source files as textβ19Updated 3 months ago
- Typescript version of SPEEDyβ26Updated 3 weeks ago