πΊπ ZetZ a zymbolic verifier and tranzpiler to bare metal C
β1,600Jun 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Cranelift code generatorβ2,504Jun 26, 2020Updated 5 years ago
- You might not need your garbage collectorβ541May 15, 2020Updated 5 years ago
- Alternative rust compiler (re-implementation)β2,447Mar 22, 2026Updated 2 weeks ago
- A statically typed lisp, without a GC, for real-time applications.β5,861Mar 28, 2026Updated last week
- A friendly little systems language with first-class types. Very WIP! π§ π§ π§β624May 16, 2021Updated 4 years ago
- Open source password manager - Proton Pass β’ AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A programming language with static memory management based on Ξ»-calculusβ1,011Updated this week
- Wrangling Untrusted File Formats Safelyβ4,722Updated this week
- Lucet, the Sandboxing WebAssembly Compiler.β4,053Mar 23, 2022Updated 4 years ago
- A modern proof languageβ3,732Jan 22, 2025Updated last year
- A small extensible programming language designed for concise expression with little code.β1,090Sep 11, 2024Updated last year
- Kit: a magical, high performance programming language, designed for game development.β1,030Aug 14, 2021Updated 4 years ago
- A static, type inferred and embeddable language written in Rust.β3,389Dec 6, 2024Updated last year
- A static verifier for Rust, based on the Viper verification infrastructure.β1,757Mar 9, 2026Updated 3 weeks ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solverβ1,990Feb 8, 2026Updated last month
- 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.
- Source code for the Mun language and runtime.β2,114Aug 12, 2025Updated 7 months ago
- Koka language compiler and interpreterβ3,859Updated this week
- Functional programming with fewer indirectionsβ780Aug 20, 2020Updated 5 years ago
- π§βπ¬ Operating systemβ1,441Dec 15, 2025Updated 3 months ago
- Highly-available Distributed Fault-tolerant Runtimeβ2,903Apr 22, 2023Updated 2 years ago
- A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.β2,354Feb 28, 2023Updated 3 years ago
- A dynamic language and bytecode vmβ4,201Updated this week
- An ergonomic tracing garbage collector that supports mark 'n sweep garbage collectionβ252Oct 23, 2022Updated 3 years ago
- the champagne of beta embedded databasesβ8,961Nov 4, 2025Updated 5 months ago
- GPU virtual machines on DigitalOcean Gradient AI β’ AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A C compiler written in Rust, with a focus on good error messages.β305Feb 4, 2025Updated last year
- build-once run-anywhere c libraryβ20,696Mar 6, 2026Updated last month
- A portable programming language with a compact intermediate representationβ748Jan 20, 2023Updated 3 years ago
- Runtime for executing procedural macros as WebAssemblyβ1,482Jan 21, 2026Updated 2 months ago
- A Proof-oriented Programming Languageβ2,989Mar 31, 2026Updated last week
- The write-once-run-anywhere GPGPU library for Rustβ1,610Jan 20, 2023Updated 3 years ago
- A Bestiary of Single-File Implementations of Programming Languagesβ1,034Feb 5, 2026Updated 2 months ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.β2,802Mar 20, 2026Updated 2 weeks ago
- A data-parallel functional programming languageβ2,691Updated this week
- Proton VPN Special Offer - Get 70% off β’ AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- mold: A Modern Linker π¦β16,334Updated this week
- A list of compilers that can generate C codeβ773Nov 16, 2023Updated 2 years ago
- Generic purpose Just-In-time compiler for Rust.β1,550May 12, 2019Updated 6 years ago
- The Wren Programming Language. Wren is a small, fast, class-based concurrent scripting language.β7,929Nov 19, 2025Updated 4 months ago
- The Lobster Programming Languageβ2,708Mar 30, 2026Updated last week
- An interpreter for Rust's mid-level intermediate representationβ5,999Mar 30, 2026Updated last week
- a smaller, faster and panic-free alternative to core::fmtβ390Feb 14, 2024Updated 2 years ago