☆22Jun 18, 2021Updated 4 years ago
Alternatives and similar repositories for logic21
Users that are interested in logic21 are comparing it to the libraries listed below
Sorting:
- ☆55Dec 19, 2025Updated 2 months ago
- ☆67Updated this week
- ☆17May 29, 2023Updated 2 years ago
- ☆19Dec 13, 2019Updated 6 years ago
- ☆10Nov 20, 2023Updated 2 years ago
- KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!☆178Jun 13, 2025Updated 8 months ago
- ☆35Jun 21, 2020Updated 5 years ago
- Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)☆19Apr 27, 2023Updated 2 years ago
- KAIST CS420: Compiler Design☆554Apr 3, 2025Updated 11 months ago
- ☆48Nov 25, 2025Updated 3 months ago
- ☆135Apr 3, 2023Updated 2 years ago
- ☆294Nov 27, 2024Updated last year
- ☆23Aug 21, 2024Updated last year
- ☆227Apr 18, 2025Updated 10 months ago
- ☆28Aug 17, 2019Updated 6 years ago
- ☆23Apr 1, 2021Updated 4 years ago
- My solutions to exercises in "Logical Foundations" (2018-2019)☆11Apr 11, 2019Updated 6 years ago
- This is the global manifest for Parrot Ground SDK.☆11Jun 6, 2023Updated 2 years ago
- COSE 312 Compilers☆38May 3, 2023Updated 2 years ago
- A delta debugger for JavaScript☆54May 17, 2022Updated 3 years ago
- JISET: JavaScript IR-based Semantics Extraction Toolchain☆41Jan 7, 2023Updated 3 years ago
- A Filesystem Semi-Microkernel.☆46Oct 24, 2023Updated 2 years ago
- ☆23Updated this week
- A Rust macro for quickly unwrapping a refutable pattern.☆12Nov 10, 2023Updated 2 years ago
- 2023 Momenti Study - Structure and Interpretation of Computer Programs: Rust Edition☆10Jan 4, 2023Updated 3 years ago
- A rust operating system for the ARM V7-A running on a beaglebone black☆12Mar 11, 2021Updated 4 years ago
- A portable linker for multiple file formats.☆13Aug 28, 2023Updated 2 years ago
- Mathematical Analysis (et analyse fonctionnelle)☆14Feb 1, 2022Updated 4 years ago
- Tiny ML interpreter☆16Feb 16, 2014Updated 12 years ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 4 years ago
- ☆10Nov 7, 2023Updated 2 years ago
- Towards Hardware and Software Continuous Integration☆13Jun 8, 2020Updated 5 years ago
- Struct-aware fuzzing framework + some fuzzers☆30Jan 28, 2026Updated last month
- 😼Help the cat escape☆10May 10, 2020Updated 5 years ago
- ☆11Nov 23, 2024Updated last year
- An example repository for @matklad's cargo xtask pattern☆10Aug 20, 2025Updated 6 months ago
- ☆12Dec 17, 2023Updated 2 years ago
- Port of OpenMesh 5.1 Core to Rust. The original OpenMesh is a C++ implementation of "A generic and efficient polygon mesh data structure"…☆12Aug 30, 2021Updated 4 years ago
- ☆15Aug 7, 2020Updated 5 years ago