Pinned Repositories
challenges
fsharp-starter
JmhBenchmarkHelper
LTLParser
A parser for linear temporal logic formulae.
mvn-repo
Maven repository for my other projects
attestor
A Shape Analysis Tool based on Graph Grammars
mendel-verifier
Capability-based verifier for safe Rust clients of interior mutability
prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
silver
Definition of the Viper intermediate verification language.
cmatheja's Repositories
cmatheja/LTLParser
A parser for linear temporal logic formulae.
cmatheja/challenges
cmatheja/fsharp-starter
cmatheja/JmhBenchmarkHelper
cmatheja/mvn-repo
Maven repository for my other projects