MartinNowack

MartinNowack's Stars

• michaelvillar/timer-app

  A simple Timer app for Mac

  Language:Swift2.5k196

• project-oak/rust-verification-tools

  RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.

  Language:Rust27337

• phfaist/pylatexenc

  Simple LaTeX parser providing latex-to-unicode and unicode-to-latex conversion

  Language:Python29537

• daniel-grumberg/klee

  KLEE Symbolic Execution Engine

  Language:C++1