Sam's Programming Language
-
Updated
Aug 16, 2026 - Rust
#
optimizing-compiler
Here are 5 public repositories matching this topic...
Parser and Compiler: Valhalla Lang — Set-Theoretic Programming Langauge
language programming-language rust syntax parser front-end bytecode compiler analysis optimization static-analysis pratt-parser set-theory curry marshal valhalla optimizing-compiler bytecode-compilation
-
Updated
Nov 26, 2020 - Rust
Optimizing compiler for a subset of the C0 language (WIP).
-
Updated
Aug 3, 2024 - Rust
An optimizing C compiler written in Rust. Verified rewrite rules, acyclic e-graphs, no external assembler. The target ladder is SQLite, then PostgreSQL, then the Linux kernel.
c toolchain rust compiler x86-64 ssa riscv compilers code-generation c-compiler elf codegen aarch64 smt formal-verification systems-programming dwarf optimizing-compiler c23 egraphs
-
Updated
Sep 2, 2026 - Rust
Add this topic to your repo
To associate your repository with the optimizing-compiler topic, visit your repo's landing page and select "manage topics."