#

static-single-assignment

Here are 14 public repositories matching this topic...

dylan-sutton-chavez / edge-python

Single-pass SSA bytecode compiler and threaded-code stack VM for a sandboxed Python subset: NaN-boxed values, inline caching, super-instruction fusion, pure-function memoization, mark-sweep GC. Coverage-guided fuzzing; around 200 KB WebAssembly module runs in the browser.

python rust memoization interpreter bytecode compiler virtual-machine sandbox webassembly wasm ssa garbage-collector fuzzing python-compiler no-std python-interpreter static-single-assignment nan-boxing inline-caching

Updated Jun 16, 2026
Rust

pfalcon / ssabook

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).

ssa static-single-assignment

Updated Jul 31, 2020
TeX

mimir

mimir / mimir

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 Jun 15, 2026
C++

nick-ulle / rstatic

An R package for static analysis of R code.

r static-analysis control-flow-graph intermediate-representation static-single-assignment

Updated May 12, 2024
R

flylai / cyx2

Compiler and VM(interpreter), Using SSA form and doing some optimizations.

programming-language interpreter compiler virtual-machine ssa toy-compiler static-single-assignment

Updated Sep 13, 2021
C++

CompilerProgramming / ez-lang

EeZee Language - Compiler Engineering Basics

compiler abstract-syntax-tree static-single-assignment bytecode-interpreter dominator-tree

Updated Jun 14, 2026
Java

edgardozoppi / analysis-net

Static analysis framework for .NET programs.

Updated Dec 17, 2020
C#

meerkatone / static_single_assignment_with_binary_ninja

Static Single Assignment with Binary Ninja

binary-ninja static-single-assignment

Updated Aug 28, 2025
Jupyter Notebook

louis-le-cam / keb

The keb programming language

programming-language rust static-single-assignment

Updated Jun 6, 2026
Rust

shafiul / N-Puzzle-Z3

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

mnikander / ir

interpreter for an intermediate representation based on three-address code (3AC) and static single-assignment (SSA) form

interpreter static-single-assignment three-address-code ssa-form

Updated May 5, 2026
TypeScript

davnavr / ubyte

Yet another intermediate language, but with SSA

static-single-assignment

Updated Mar 28, 2022
F#

mukadr / MukaVM

Compiler Backend in .NET

parser-combinators control-flow-graph static-single-assignment compiler-construction

Updated May 14, 2024
C#

nwmarino / lace

systems language

syntax-highlighting programming-language compiler static-single-assignment

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.

Curate this topic

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."