It's a baby compiler. (Lean btw.)
☆16May 19, 2025Updated last year
Alternatives and similar repositories for baby-compiler
Users that are interested in baby-compiler are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- gpt completions in vscode☆35Mar 24, 2023Updated 3 years ago
- ☆20Jan 21, 2023Updated 3 years ago
- ☆13Jun 18, 2024Updated 2 years ago
- Indranet Explorer, a simulated browser☆16Nov 12, 2024Updated last year
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Experiments for "D. Davis, D. Drusvyatskiy, and L. Jiang. Gradient descent with adaptive stepsize converges (nearly) linearly under fourt…☆10May 2, 2025Updated last year
- Twitterbot that generates orthographically plausible German words with semantically plausible English explanations.☆15Oct 19, 2015Updated 11 years ago
- Public Coworld CLI, Python helpers, manifest schemas, runner tooling, and reference worlds.☆17Updated this week
- ☆13Oct 31, 2024Updated 2 years ago
- ☆16Jun 28, 2026Updated 4 months ago
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆13Aug 13, 2024Updated 2 years ago
- Train to 94% on CIFAR-10 in 4.4 seconds on a single A100☆12Dec 30, 2023Updated 2 years ago
- Reference type checker for the Lean theorem prover☆18Feb 14, 2018Updated 8 years ago
- ☆21Jul 11, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆12Jul 31, 2025Updated last year
- Opinionated Go Project Template☆13Updated this week
- ☆19Jun 6, 2025Updated last year
- A minimal, didactic implementation of tensors in Rust.☆13Feb 21, 2025Updated last year
- Humans consulting HCH☆10Sep 23, 2017Updated 9 years ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Dec 21, 2022Updated 3 years ago
- Translate Python code to Rocq code for formal verification. Applied to the reference implementation of the Ethereum VM in Python (WIP, in…☆48Mar 29, 2026Updated 7 months ago
- Debug Adaptor Protocol (DAP) implementation☆11Sep 16, 2026Updated last month
- ☆11Oct 18, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A multi-agent parallel inference orchestrator for MarketAgents☆12Mar 27, 2025Updated last year
- ☆12May 28, 2025Updated last year
- ☆22May 20, 2025Updated last year
- Run ops on Apple ANE in NPU register with pure python on M1 Asahi Linux. No Espresso, No CoreML, no metal, no .mlmodels file, no .hwx fil…☆21Oct 8, 2026Updated 3 weeks ago
- Can frontier AI coding agents 24 hours write a complete GBA emulator from scratch in 24 hours?☆25May 13, 2026Updated 5 months ago
- vertical + gpu + free join + datalog☆22Feb 12, 2025Updated last year
- TACOS (There's a Cat On the Sundeck) Detector☆17Mar 13, 2017Updated 9 years ago
- Relay support for Zed☆10Apr 4, 2026Updated 7 months ago
- ☆14Aug 2, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Framework for building algorithms based on FractalAI theory☆20Nov 23, 2020Updated 5 years ago
- A parser for Microsoft PDB (Program Database) debugging information☆25Nov 5, 2024Updated 2 years ago
- The Federated Fediverse Day☆14Apr 11, 2026Updated 6 months ago
- Evaluating LLMs performance in PR reviews as an indicator for their capability in creating PRs.☆13Apr 10, 2024Updated 2 years ago
- ☆15Aug 9, 2021Updated 5 years ago
- ☆17Oct 12, 2023Updated 3 years ago
- ☆11Oct 24, 2024Updated 2 years ago