It's a baby compiler. (Lean btw.)
☆16May 19, 2025Updated 10 months ago
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:
- ☆10May 19, 2025Updated 10 months ago
- ☆13Jun 18, 2024Updated last year
- Examples and support libraries for the amdgpu Rust target☆17Dec 4, 2025Updated 3 months ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- A text compressor based on the PAQ architecture.☆22Sep 12, 2025Updated 6 months ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Opinionated Go Project Template☆13Mar 19, 2026Updated last week
- Plain-text declaration export for Lean 4☆29Updated this week
- ☆21Jul 11, 2022Updated 3 years ago
- Discover the Solar System like never before with 'SolarSystem Explore'! This 3D visualization, created using HTML and Three.js, offers a …☆19Nov 17, 2023Updated 2 years ago
- Full spectrum sheaf neural network over arbitrary CW complexes.☆16Mar 1, 2026Updated 3 weeks ago
- DiscoDB is a NoSQL Document Database that promises to provide infinite storage at zero cost☆21Jun 5, 2023Updated 2 years ago
- Twitterbot that generates orthographically plausible German words with semantically plausible English explanations.☆15Oct 19, 2015Updated 10 years ago
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆13Aug 13, 2024Updated last year
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Dec 21, 2022Updated 3 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.
- Train to 94% on CIFAR-10 in 4.4 seconds on a single A100☆12Dec 30, 2023Updated 2 years ago
- Google Gemini AI model w/speech recognition and voice.☆26Nov 26, 2025Updated 4 months ago
- ☆18Dec 2, 2024Updated last year
- CUDA implementation of RTXX algorithm for multiplication of matrix and its transpose X^T X☆19Jun 9, 2025Updated 9 months ago
- 8-bit floating point types for Rust☆63Feb 4, 2026Updated last month
- ☆21Mar 18, 2025Updated last year
- convert a saved pytorch model to gguf and generate as much corresponding ggml c code as possible☆15Dec 19, 2023Updated 2 years ago
- KernelBench v2: Can LLMs Write GPU Kernels? - Benchmark with Torch -> Triton (and more!) problems☆22Jul 4, 2025Updated 8 months ago
- A Chrome extension that allows you to customize the sidebar/profile menu on Twitter☆24Jan 16, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A simple JSON Schema Gleam library☆18Jul 30, 2025Updated 8 months ago
- a datastructure for scalable combinatorial syntax☆20Feb 28, 2025Updated last year
- Typescript implementation of Relaxed Radix Balanced Trees☆19Sep 15, 2024Updated last year
- A minimal, didactic implementation of tensors in Rust.☆13Feb 21, 2025Updated last year
- A graph visualization of attention☆57May 20, 2025Updated 10 months ago
- PyTorch implementation of the Flash Spectral Transform Unit.☆22Sep 19, 2024Updated last year
- A web app to navigate the 2020PoliceBrutality repo☆10Jan 7, 2023Updated 3 years ago
- Humans consulting HCH☆10Sep 23, 2017Updated 8 years ago
- Materials for "Multi-property Steering of Large Language Models with Dynamic Activation Composition"☆14Nov 22, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- An interactive environment for exploring, refining, and visualizing mathematical proofs with AI assistance.☆32Feb 18, 2026Updated last month
- Command-line NZB file verification utility☆17Apr 7, 2020Updated 5 years ago
- ☆11Oct 18, 2023Updated 2 years ago
- Relay support for Zed☆10Sep 25, 2025Updated 6 months ago
- ☆15Aug 9, 2021Updated 4 years ago
- ☆12Oct 24, 2024Updated last year
- TACOS (There's a Cat On the Sundeck) Detector☆17Mar 13, 2017Updated 9 years ago