Pinned Repositories
ap
Advanced Programming 2012 @ DIKU
apa
Automatic Program Analysis 2013 @ CS UU
boogie
Boogie
casino_artifacts
Companion repository with the artifacts to the Casino case study
nagini
Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
nagini-pycharm
PyCharm plugin for Nagini
scion
SCION Internet Architecture
statml
Statistical Methods for Machine Learning 2012 @ DIKU
xtend-compiler
Just-for-fun implementation of a compiler from Xtend2 source to JVM bytecode
xtend-generics
An active annotation enabling reified generics in Xtend
marcoeilers's Repositories
marcoeilers/nagini
Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
marcoeilers/nagini-pycharm
PyCharm plugin for Nagini
marcoeilers/scion
SCION Internet Architecture
marcoeilers/statml
Statistical Methods for Machine Learning 2012 @ DIKU
marcoeilers/xtend-compiler
Just-for-fun implementation of a compiler from Xtend2 source to JVM bytecode
marcoeilers/xtend-generics
An active annotation enabling reified generics in Xtend
marcoeilers/ap
Advanced Programming 2012 @ DIKU
marcoeilers/apa
Automatic Program Analysis 2013 @ CS UU
marcoeilers/boogie
Boogie
marcoeilers/casino_artifacts
Companion repository with the artifacts to the Casino case study
marcoeilers/cav2021-artifact
marcoeilers/CAV24-data
Data from the evaluation of the CAV 2024 paper "Verification Algorithms for Automated Separation Logic Verifiers"
marcoeilers/commutativity-plugin
marcoeilers/csl-abstractions
marcoeilers/dtp
Dependently Typed Programming 2013 @ CS UU
marcoeilers/inference
marcoeilers/jpype
Friendly jpype fork with focus on easy installation.
marcoeilers/map
Multi Agent Programming 2013 @ CS UU
marcoeilers/pcsd
Principles of Computer System Design 2012 @ DIKU
marcoeilers/PyPokerEngine
Poker engine for poker AI development in Python
marcoeilers/silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
marcoeilers/silver
Definition of the Viper intermediate verification language.
marcoeilers/silver-commutativity
Silver version based on krantikiran_flows_parser_plugin with custom changes
marcoeilers/thesis
marcoeilers/vercors
The VerCors verification toolset for verifying parallel and concurrent software