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

TeX

154

0 commits

updated Jul 31, 2020

pfalcon.github.io/ssabook/latest

See the code

ssa

static-single-assignment

Similar repos

0xalpharush/static-analysis-and-compilers

Eclectic notes on static analysis and compilers

isabelle-prover/mirror-isabelle

Git mirror of https://isabelle.in.tum.de/repos/isabelle

mozillazg/pypy

The unofficial GitHub mirror of PyPy (mirrored via https://github.com/mozillazg/job-mirror-hg-repos)

432

etiamz/supercompilation-resources

📚 A collection of resources about supercompilation

129

Kraks/sai

Staged Abstract Interpreters

hawkw/sharded-slab

a lock-free concurrent slab (experimental)

316

forthy42/gforth

Gforth mirror on GitHub (original is on Savannah)

189

dominikh/go-staticcheck

392

Languages

TeX

92.4%

PostScript

6.0%

Makefile

1.4%