mayabenowitz / OriginsLinks
A minimalistic-bootstrap to find a quantum theory of the cosmos.
☆103Updated last year
Alternatives and similar repositories for Origins
Users that are interested in Origins are comparing it to the libraries listed below
Sorting:
- Grounding LLM mathematical reasoning with proof assistants.☆64Updated 2 years ago
- ☆62Updated 8 months ago
- ☆107Updated 11 months ago
- ☆151Updated 3 months ago
- BETSE — Bioelectric Tissue Simulation Engine☆82Updated 7 months ago
- Renderer for molecular nanotechnology☆82Updated last week
- Augment GPT-4 Environment Access☆285Updated 2 years ago
- A simple API converting a user's proposed tweet into a veritable banger.☆101Updated 2 years ago
- Gradient descent is cool and all, but what if we could delete it?☆104Updated 3 months ago
- ☆58Updated 5 months ago
- ☆52Updated last year
- A production-grade framework for building AI agents.☆71Updated 2 years ago
- Learning Universal Predictors☆81Updated last year
- Categorica: a pure and applied category theory framework for the Wolfram Language☆33Updated last year
- A collection of essays and code on algebraic methods to evaluate noisy judges on unlabeled test data.☆37Updated last month
- papers.day☆91Updated last year
- Training GPTs to solve interaction nets☆17Updated last year
- Simple embedding -> text model trained on a small subset of Wikipedia sentences.☆158Updated 2 years ago
- # Eigenfish Ideas by the wonderful ["Computational Discovery on Jupyter"](https://computational-discovery-on-jupyter.github.io/Computatio…☆169Updated 8 months ago
- ☆74Updated last year
- Simple Transformer in Jax☆139Updated last year
- A package for defining deep learning models using categorical algebraic expressions.☆61Updated last year
- Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.☆281Updated last year
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆58Updated last year
- The history files when recording human interaction while solving ARC tasks☆118Updated last week
- explore token trajectory trees on instruct and base models☆148Updated 5 months ago
- ☆139Updated 2 years ago
- An Apache 2.0 licensed starter kit for making Discord bots which converse via direct address (@) and LLMs.☆32Updated 2 years ago
- ☆261Updated 2 months ago
- look how they massacred my boy☆63Updated last year