Modernized (unofficial) LaTeX template for bachelor's and master's thesis at University of Tartu Institute of Computer Science

Idris front-end for VS Code

Static analysis framework for C

Showcasing typeinference for Featherweight Java

Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to support multiple IDEs.

Check your ranking in GitHub! Don't forget to star ⭐ this repository.

Analysing app evolution based on its commit history, finding code smells through time

MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration

Apron Numerical Abstract Domain Library

A higher order mutation testing tool

Practical mutation testing and fault injection for C and C++

𝛌 Awesome Idris resources