It's a baby compiler. (Lean btw.)
☆16May 19, 2025Updated 9 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☆27Updated this week
- a datastructure for scalable combinatorial syntax☆20Feb 28, 2025Updated last year
- Formalization of the Millennium Problems in Lean 4☆44Jan 16, 2026Updated last month
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆11Feb 25, 2026Updated last week
- 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☆11May 28, 2025Updated 9 months ago
- ☆10May 19, 2025Updated 9 months ago
- The 2013 edition of the Source SDK☆10Aug 19, 2017Updated 8 years ago
- 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
- Distributed data sync using trimerge☆11Mar 26, 2024Updated last year
- Reference and useful snippets for .md files☆10Apr 17, 2020Updated 5 years ago
- Information geometry and its extension information topology☆11Dec 2, 2017Updated 8 years ago
- A Playwright MCP package in Nix☆18Jan 16, 2026Updated last month
- ☆12Dec 19, 2023Updated 2 years ago
- A select subset of shaders included in the GShade project modified for use with ReShade.☆13May 3, 2025Updated 10 months ago
- An offshot of the SteamControllerSigner that aims to take advantage of the SC's dual pulse channel nature☆11Aug 14, 2017Updated 8 years ago
- The Simplest Parser Library (that works) in Rust☆44Aug 6, 2024Updated last year
- An undefined, modular machine platform☆107Sep 11, 2024Updated last year
- Examples and support libraries for the amdgpu Rust target☆17Dec 4, 2025Updated 3 months ago
- Multi-party computation utilities toolkit for rust☆16Dec 19, 2019Updated 6 years ago
- CUDA implementation of RTXX algorithm for multiplication of matrix and its transpose X^T X☆19Jun 9, 2025Updated 9 months ago
- ☆13Jul 19, 2024Updated last year
- ☆12Sep 25, 2022Updated 3 years ago
- Zsh patched to support Actually Portable Executables git://git.code.sf.net/p/zsh/code (upstream pending)☆16Jan 26, 2021Updated 5 years ago
- Discord bot with GPT-3 Integration☆10Dec 8, 2022Updated 3 years ago
- A set of tools and libraries for automatically generating and initiating sandboxes for Rust programs☆15Oct 24, 2022Updated 3 years ago
- Pronto runner for Undercover, actionable code coverage☆14Nov 15, 2025Updated 3 months ago
- ☆10Oct 19, 2022Updated 3 years ago
- Code and demo for SFHTML5 Talk - D3 in Practice☆10Oct 1, 2015Updated 10 years ago
- ☆12Oct 4, 2024Updated last year
- A cross-platform dotfiles manager☆14Jan 19, 2026Updated last month
- Unit testing React components with Tape in ES6☆12Feb 25, 2016Updated 10 years ago
- ☆12Jan 3, 2022Updated 4 years ago
- ☆12Dec 5, 2025Updated 3 months ago
- Stock image API☆11Jul 15, 2020Updated 5 years ago
- ☆10Apr 4, 2023Updated 2 years ago
- Adds Blockstack support to the Browser.☆13Jan 9, 2023Updated 3 years ago
- threadstack, ergonomic library for thread local stacks☆11Mar 5, 2021Updated 5 years ago
- A DDP Server for Meteor☆15Jan 30, 2016Updated 10 years ago