3 Search Results
goblint-cil
A front-end for the C programming language that facilitates program analysis and transformation
ppx_distr_guards
Extension to distribute guards over or-patterns
0.3
MIT
Used by 1 other packages