2 Search Results
goblint-cil
A front-end for the C programming language that facilitates program analysis and transformation
2.0.1
BSD-3-Clause
Used by 1 other packages
lem
Lem is a tool for lightweight executable mathematics
Dominic Mulligan
Francesco Zappa Nardelli
Gabriel Kerneis
Kathy Gray
Peter Boehm
Peter Sewell
Scott Owens
Thomas Tuerk
Brian Campbell
Shaked Flur
Thomas Bauereiss
Stephen Kell
Thomas Williams
Lars Hupel
Basile Clement
2022-12-10
BSD-3-Clause; LGPL-2.1-or-later
Used by 3 other packages