doomslide / baby-compilerLinks
It's a baby compiler. (Lean btw.)
☆16Updated 2 weeks ago
Alternatives and similar repositories for baby-compiler
Users that are interested in baby-compiler are comparing it to the libraries listed below
Sorting:
- Rust bindings to GAP (Groups, Algorithms, Programming)☆23Updated last year
- Approximating the joint distribution of language models via MCTS☆21Updated 7 months ago
- peer-to-peer compute and intelligence network that enables decentralized AI development at scale☆63Updated this week
- Experimental compiler for deep learning models☆67Updated last week
- Grokking on modular arithmetic in less than 150 epochs in MLX☆12Updated 7 months ago
- ☆12Updated 11 months ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆64Updated 4 months ago
- Training GPTs to solve interaction nets☆17Updated 9 months ago
- Because it's there.☆16Updated 8 months ago
- Simple Transformer in Jax☆137Updated 11 months ago
- Asynchronous P2P communication backend for decentralized pipeline parallelism☆26Updated this week
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆59Updated last year
- ☆27Updated 10 months ago
- Synthetic data derived by templating, few shot prompting, transformations on public domain corpora, and monte carlo tree search.☆32Updated 3 months ago
- Compiling useful links, papers, benchmarks, ideas, etc.☆46Updated 2 months ago
- SIMD quantization kernels☆65Updated last week
- A tree-based prefix cache library that allows rapid creation of looms: hierarchal branching pathways of LLM generations.☆68Updated 3 months ago
- HyperTree Proof Search for Neural Theorem Proving -- "La science est l'œuvre de l'esprit humain, qui est plutôt destiné à étudier qu'à co…☆37Updated 10 months ago
- Tensor library with autograd using only Rust's standard library☆68Updated 11 months ago
- ☆38Updated 10 months ago
- Solidity contracts for the decentralized Prime Network protocol☆22Updated last week
- Experiments for efforts to train a new and improved t5☆77Updated last year
- ☆95Updated 6 months ago
- Like ARC, but code to generate visual puzzles. 1D puzzles first.☆19Updated 9 months ago
- look how they massacred my boy☆63Updated 7 months ago
- direct preference optimization with only 1 model copy :)☆14Updated last year
- An interaction combinator runtime☆17Updated 8 months ago
- The Prime Intellect CLI provides a powerful command-line interface for managing GPU resources across various providers☆26Updated 2 weeks ago
- Tensor library for Zig☆11Updated 6 months ago
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆35Updated 8 months ago