Discover projects, groups and snippets. Share your projects with others
The speculative specification for Alethe, a flexible format for SMT proofs.
Script analysing results from Simian (http://www.harukizaemon.com/simian/) xml file output in order to detect plagiarism between two projects. It will filter Simian results and remove all duplicated blocks that concern only one project.
Finite Element tools for A&M
Discrete Adjoint for Rapid Transonic Flows