ssa-construction

There are 6 repositories under ssa-construction topic.

pfalcon/awesome-program-analysis
Program Analisys and Transformation survey and links (particular focus on SSA)
147 14 124
sigurdschneider/lvc
LVC verified compiler
Language:Coq56 6 02
Spirit-of-Oberon/oo2c
Optimizing Oberon-2 Compiler
Language:Modula-229 13 17
lucvoo/sparse
mirror of git://git.kernel.org/pub/scm/devel/sparse/sparse.git
Language:C28 5 28
slak44/ckompiler
A C compiler written in Kotlin
Language:Kotlin19 4 00
CnTransGroup/StaticSingleAssignmentBookChinese
《Static Single Assignment Book》- 中文翻译
14 6 21