πΊπ ZetZ a zymbolic verifier and tranzpiler to bare metal C
β1,599Jun 17, 2022Updated 3 years ago
Alternatives and similar repositories for zz
Users that are interested in zz are comparing it to the libraries listed below
Sorting:
- Cranelift code generatorβ2,505Jun 26, 2020Updated 5 years ago
- Alternative rust compiler (re-implementation)β2,442Updated this week
- You might not need your garbage collectorβ541May 15, 2020Updated 5 years ago
- A statically typed lisp, without a GC, for real-time applications.β5,821Feb 19, 2026Updated last week
- Lucet, the Sandboxing WebAssembly Compiler.β4,056Mar 23, 2022Updated 3 years ago
- A friendly little systems language with first-class types. Very WIP! π§ π§ π§β624May 16, 2021Updated 4 years ago
- A modern proof languageβ3,727Jan 22, 2025Updated last year
- Wrangling Untrusted File Formats Safelyβ4,708Feb 9, 2026Updated 3 weeks ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solverβ1,984Feb 8, 2026Updated 3 weeks ago
- A programming language with static memory management based on Ξ»-calculusβ1,009Jan 28, 2026Updated last month
- Source code for the Mun language and runtime.β2,109Aug 12, 2025Updated 6 months ago
- A static, type inferred and embeddable language written in Rust.β3,392Dec 6, 2024Updated last year
- Highly-available Distributed Fault-tolerant Runtimeβ2,901Apr 22, 2023Updated 2 years ago
- A static verifier for Rust, based on the Viper verification infrastructure.β1,742Feb 2, 2026Updated last month
- π§βπ¬ Operating systemβ1,438Dec 15, 2025Updated 2 months ago
- A small extensible programming language designed for concise expression with little code.β1,086Sep 11, 2024Updated last year
- A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.β2,353Feb 28, 2023Updated 3 years ago
- Koka language compiler and interpreterβ3,817Updated this week
- the champagne of beta embedded databasesβ8,930Nov 4, 2025Updated 3 months ago
- Kit: a magical, high performance programming language, designed for game development.β1,030Aug 14, 2021Updated 4 years ago
- A portable programming language with a compact intermediate representationβ746Jan 20, 2023Updated 3 years ago
- A Proof-oriented Programming Languageβ2,975Updated this week
- An ergonomic tracing garbage collector that supports mark 'n sweep garbage collectionβ252Oct 23, 2022Updated 3 years ago
- The write-once-run-anywhere GPGPU library for Rustβ1,613Jan 20, 2023Updated 3 years ago
- Functional programming with fewer indirectionsβ781Aug 20, 2020Updated 5 years ago
- build-once run-anywhere c libraryβ20,577Jan 25, 2026Updated last month
- A dynamic language and bytecode vmβ4,159Updated this week
- A C compiler written in Rust, with a focus on good error messages.β305Feb 4, 2025Updated last year
- Runtime for executing procedural macros as WebAssemblyβ1,471Jan 21, 2026Updated last month
- mold: A Modern Linker π¦β16,195Dec 12, 2025Updated 2 months ago
- An interpreter for Rust's mid-level intermediate representationβ5,929Updated this week
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.β2,772Feb 7, 2026Updated 3 weeks ago
- A data-parallel functional programming languageβ2,669Updated this week
- a smaller, faster and panic-free alternative to core::fmtβ389Feb 14, 2024Updated 2 years ago
- Migrate C code to Rustβ4,647Updated this week
- A Bestiary of Single-File Implementations of Programming Languagesβ1,034Feb 5, 2026Updated 3 weeks ago
- Generic purpose Just-In-time compiler for Rust.β1,550May 12, 2019Updated 6 years ago
- rd is a record/replay debugger written in rustβ961Jun 3, 2022Updated 3 years ago
- The Wren Programming Language. Wren is a small, fast, class-based concurrent scripting language.β7,901Nov 19, 2025Updated 3 months ago