A Tiny, Friendly Companion to LLVM
☆46Jan 12, 2026Updated last month
Alternatives and similar repositories for MoonLLVM
Users that are interested in MoonLLVM are comparing it to the libraries listed below
Sorting:
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆33Feb 2, 2026Updated last month
- MoonBit Port of Implementations for Pierce's Types and Programming Languages☆68Jul 9, 2025Updated 7 months ago
- Automatic testing of MoonBit programs☆28Feb 11, 2026Updated 2 weeks ago
- ☆11Mar 20, 2025Updated 11 months ago
- The build system and package manager for MoonBit☆382Updated this week
- moonbit version of c11 compiler☆60Feb 2, 2026Updated last month
- A well-documented minimal dependently-typed language for my friend Lyzh☆27Feb 7, 2025Updated last year
- ☆670Updated this week
- Prune is a constraint logic programming language with branching heuristic.☆33Updated this week
- ☆20Nov 24, 2024Updated last year
- A Haskell 2010 type checker☆17Feb 25, 2024Updated 2 years ago
- UI library written by moonbit-lang☆21Oct 11, 2024Updated last year
- Tiny theorem prover with syntax like Lean 4 in <1K LOC☆67Jul 21, 2025Updated 7 months ago
- ntype cafe summer school resources☆146Jun 16, 2024Updated last year
- A NES emulator in MoonBit☆57Sep 17, 2025Updated 5 months ago
- The Decaf compiler, written in Rust☆57Dec 18, 2019Updated 6 years ago
- a proof-of-concept programming language based on call-by-push-value☆61Feb 20, 2026Updated last week
- Finger tree data structure for JavaScript☆27Aug 19, 2025Updated 6 months ago
- Type Checking in Lean 4☆34Feb 19, 2026Updated last week
- 豫言☆27Nov 15, 2025Updated 3 months ago
- Zombie chan revive!☆27Feb 27, 2024Updated 2 years ago
- A Rust-like language with immix GC and other cool stuffs☆78May 11, 2025Updated 9 months ago
- Extism PDK for the MoonBit programming language.☆34Feb 15, 2026Updated 2 weeks ago
- A research compiler for exploring the Regionalized Value State Dependence Graph (RVSDG) intermediate representation☆75Updated this week
- async programming library for MoonBit☆57Feb 14, 2026Updated 2 weeks ago
- OCaml - Oxidized!☆657Updated this week
- ☆39Aug 31, 2024Updated last year
- The simulator for the Next-Generation Championship in Branch Prediction (CBP-NG)☆26Updated this week
- A Powerful XSS,RXSS,BXSS finding tool☆31Oct 29, 2025Updated 4 months ago
- 3d Printed Axial Flux Motor Build☆13Dec 12, 2021Updated 4 years ago
- The Quantum Abstract Machine (QUAM) is a comprehensive framework designed to abstract and manage quantum programming environments, provid…☆18Jan 28, 2026Updated last month
- An experimental JavaScript runtime built with OxCaml and JavaScriptCore☆93Jan 20, 2026Updated last month
- Playing with type systems☆51Dec 29, 2024Updated last year
- Neon lights in the night tonight and stars that shine in the open sky☆46Dec 17, 2023Updated 2 years ago
- an educational compiler intermediate representation☆737Feb 6, 2026Updated 3 weeks ago
- Silent Cleanup UAC Bypass POC☆11Dec 15, 2019Updated 6 years ago
- IDA plugin to Display Mach-O headers☆21Nov 4, 2011Updated 14 years ago
- Anti-debugging techniques on a (bad looking) Win32 application.☆11Sep 14, 2024Updated last year
- 喜鹊派员工餐配方存档☆11Jun 13, 2024Updated last year