Explore projects

ijtihad is a solver for Quantified Boolean Formulas based on counterexample-guided expansion.

Upstream Git Repository for Computer Organization and Networks Practicals 2019/20

A tool to find key recovery attacks based on a given cluster of differentials

Assignment descriptions and frameworks for Verification and Testing 2021/22.

A Mirror of the Cpp Linenoise on GitHub.

A Mirror of the Hat Trie project on GitHub.

Upstream Git Repository for Computer Organization and Networks Practicals 2020/21

A Mirror of the Libtins project on GitHub.