doomslide / baby-compilerView external linksLinks
It's a baby compiler. (Lean btw.)
☆16May 19, 2025Updated 8 months ago
Alternatives and similar repositories for baby-compiler
Users that are interested in baby-compiler are comparing it to the libraries listed below
Sorting:
- Plain-text declaration export for Lean 4☆24Feb 6, 2026Updated last week
- a datastructure for scalable combinatorial syntax☆20Feb 28, 2025Updated 11 months ago
- Formalization of the Millennium Problems in Lean 4☆41Jan 16, 2026Updated last month
- ☆10May 19, 2025Updated 8 months ago
- Resilient Virtual Machine Monitor is a complete fault tolerance solution for type-I hypervisors adopting one of the most popular VMM arch…☆11Jul 30, 2020Updated 5 years ago
- upbit-api on rust☆10May 28, 2025Updated 8 months ago
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆11Jan 5, 2026Updated last month
- A Playwright MCP package in Nix☆17Jan 16, 2026Updated last month
- An offshot of the SteamControllerSigner that aims to take advantage of the SC's dual pulse channel nature☆11Aug 14, 2017Updated 8 years ago
- A select subset of shaders included in the GShade project modified for use with ReShade.☆13May 3, 2025Updated 9 months ago
- Distributed data sync using trimerge☆11Mar 26, 2024Updated last year
- Chatbot that answers frequently asked questions in French, English, and Tunisian using the Rasa NLU framework and RWKV-4-Raven☆13May 19, 2023Updated 2 years ago
- Reference and useful snippets for .md files☆10Apr 17, 2020Updated 5 years ago
- ☆12Dec 19, 2023Updated 2 years ago
- Information geometry and its extension information topology☆11Dec 2, 2017Updated 8 years ago
- The 2013 edition of the Source SDK☆10Aug 19, 2017Updated 8 years ago
- The Simplest Parser Library (that works) in Rust☆44Aug 6, 2024Updated last year
- An undefined, modular machine platform☆106Sep 11, 2024Updated last year
- ☆10Oct 17, 2017Updated 8 years ago
- ☆10Oct 19, 2022Updated 3 years ago
- Relay support for Zed☆10Sep 25, 2025Updated 4 months ago
- ☆55Jan 5, 2025Updated last year
- some p2p thing☆11Nov 20, 2016Updated 9 years ago
- ☆10Jul 17, 2023Updated 2 years ago
- Audiocraft is a library for audio processing and generation with deep learning. It features the state-of-the-art EnCodec audio compressor…☆11Aug 7, 2023Updated 2 years ago
- Mirror of the famous Fred ImageMagick Scripts☆12Feb 11, 2018Updated 8 years ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Sep 26, 2019Updated 6 years ago
- CUDA implementation of RTXX algorithm for multiplication of matrix and its transpose X^T X☆19Jun 9, 2025Updated 8 months ago
- Pronto runner for Undercover, actionable code coverage☆14Nov 15, 2025Updated 3 months ago
- A blazing fast, MT-safe, lockfree and branchless circular byte buffer for SPSC in 50 loc☆12Sep 16, 2025Updated 5 months ago
- ☆12Jan 3, 2022Updated 4 years ago
- threadstack, ergonomic library for thread local stacks☆11Mar 5, 2021Updated 4 years ago
- Examples and support libraries for the amdgpu Rust target☆15Dec 4, 2025Updated 2 months ago
- CUDA implementation of Filecoin's PC2 operation☆12Jun 20, 2023Updated 2 years ago
- ☆12Dec 5, 2025Updated 2 months ago
- Python implementation in C++☆17Jan 11, 2026Updated last month
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 6 years ago
- High-performance tokenized language data-loader for Python C++ extension☆14Jul 22, 2024Updated last year
- Rust NIF for fast JWT signing☆10Feb 5, 2026Updated last week