ssallinger's repositories
Language:Jupyter Notebook000
souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Language:C++000
stainless
Verification framework for higher-order functional programs
Language:ScalaNOASSERTION000
Language:Scala000
SE-Winter-2015
Systems Engineering 2015
BSD-2-Clause000