Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was still online as of 2021-03, but then gone by 2021-09).
-
Updated
Jul 31, 2020 - TeX
#
static-single-assignment
Here are 14 public repositories matching this topic...
MimIR is my Intermediate Representation
programming-language dependent-types compiler functional-programming optimizer ssa compilers cps intermediate-representation continuation-passing-style static-single-assignment compiler-construction functional-programming-language partial-evaluation partial-evaluator
-
Updated
May 21, 2026 - C++
Single-pass SSA compiler and threaded-code VM for a sandboxed Python subset. NaN-boxed values, dual inline caching, super-instruction fusion, pure-function memoization, mark-sweep GC; classes with inheritance and dunder protocol, async/await, pattern matching, and packages.json imports. around 170 KB WebAssembly module.
python rust memoization interpreter bytecode compiler virtual-machine sandbox webassembly wasm ssa garbage-collector python-compiler no-std python-interpreter static-single-assignment nan-boxing inline-caching
-
Updated
May 22, 2026 - Rust
An R package for static analysis of R code.
-
Updated
May 12, 2024 - R
Compiler and VM(interpreter), Using SSA form and doing some optimizations.
-
Updated
Sep 13, 2021 - C++
EeZee Language - Compiler Engineering Basics
-
Updated
Feb 23, 2026 - Java
Static analysis framework for .NET programs.
c-sharp api library framework bytecode backend analysis static-code-analysis visual-basic dotnet static-analysis ssa control-flow-analysis cil net-framework data-flow-analysis static-single-assignment three-address-code points-to-analysis call-graph-analysis
-
Updated
Dec 17, 2020 - C#
Static Single Assignment with Binary Ninja
-
Updated
Aug 28, 2025 - Jupyter Notebook
The keb programming language
-
Updated
Apr 17, 2026 - Rust
interpreter for an intermediate representation based on three-address code (3AC) and static single-assignment (SSA) form
-
Updated
May 5, 2026 - TypeScript
Test case generation of classic N-Puzzle game using Z3
static-analysis ssa symbolic-execution z3 sat-solver static-single-assignment n-puzzle automated-test-generation z3py
-
Updated
Dec 14, 2015 - Python
Compiler Backend in .NET
-
Updated
May 14, 2024 - C#
systems language
-
Updated
Mar 6, 2026 - C++
Improve this page
Add a description, image, and links to the static-single-assignment topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the static-single-assignment topic, visit your repo's landing page and select "manage topics."