doomslide / baby-compilerLinks
It's a baby compiler. (Lean btw.)
☆16Updated last month
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)☆24Updated last year
- Grokking on modular arithmetic in less than 150 epochs in MLX☆12Updated 8 months ago
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆59Updated last year
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆64Updated 5 months ago
- Training GPTs to solve interaction nets☆17Updated 10 months ago
- Approximating the joint distribution of language models via MCTS☆21Updated 7 months ago
- Tensor library with autograd using only Rust's standard library☆68Updated 11 months ago
- peer-to-peer compute and intelligence network that enables decentralized AI development at scale☆74Updated this week
- ☆13Updated last year
- tiny code to access tenstorrent blackhole☆51Updated 3 weeks ago
- The Prime Intellect CLI provides a powerful command-line interface for managing GPU resources across various providers☆29Updated last month
- ☆27Updated 11 months ago
- SIMD quantization kernels☆71Updated last week
- A package for defining deep learning models using categorical algebraic expressions.☆61Updated 10 months ago
- A tree-based prefix cache library that allows rapid creation of looms: hierarchal branching pathways of LLM generations.☆70Updated 4 months ago
- Simple Transformer in Jax☆137Updated last year
- Like ARC, but code to generate visual puzzles. 1D puzzles first.☆20Updated 10 months ago
- TOPLOC: is a novel method for verifiable inference that enables users to verify that LLM providers are using the correct model configurat…☆33Updated 2 months ago
- an open source reproduction of NVIDIA's nGPT (Normalized Transformer with Representation Learning on the Hypersphere)☆101Updated 3 months ago
- look how they massacred my boy☆63Updated 8 months ago
- An environment for learning formal mathematical reasoning from scratch☆70Updated 10 months ago
- Experiments for efforts to train a new and improved t5☆77Updated last year
- A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.☆19Updated 3 years ago
- Solidity contracts for the decentralized Prime Network protocol☆23Updated last week
- ☆97Updated 6 months ago
- How to read Lean☆17Updated 4 months ago
- Experimental compiler for deep learning models☆67Updated last month
- 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
- Synthetic data derived by templating, few shot prompting, transformations on public domain corpora, and monte carlo tree search.☆32Updated 3 months ago
- This repository contain the simple llama3 implementation in pure jax.☆66Updated 4 months ago