Pinned Repositories
TAJS-Inspector
aneris
Program logic for developing and verifying distributed systems
clutch
Probabilistic separation logics for verifying higher-order probabilistic programs.
iris-tini
Logical relations for termination-insensitive noninterference in Iris
iris-tutorial
.emacs.d
analysis
Mathematical Components compliant Analysis Library
CompCert
The CompCert formally-verified C compiler
DepSec
A library for static information-flow control in Idris
jalangi2-typescript
TypeScript declaration file and analysis skeleton for Jalangi2, a dynamic analysis framework for JavaScript.
simongregersen's Repositories
simongregersen/DepSec
A library for static information-flow control in Idris
simongregersen/jalangi2-typescript
TypeScript declaration file and analysis skeleton for Jalangi2, a dynamic analysis framework for JavaScript.
simongregersen/.emacs.d
simongregersen/analysis
Mathematical Components compliant Analysis Library
simongregersen/CompCert
The CompCert formally-verified C compiler
simongregersen/coq-proba
A Probability Theory Library for the Coq Theorem Prover
simongregersen/coq-record-update
Library to create Coq record update functions
simongregersen/docker-homeserver
Docker setup for home server
simongregersen/dotfiles
simongregersen/driver-planner
simongregersen/dune
A composable build system for OCaml.
simongregersen/Examples
A collection of TLA+ specifications of varying complexities
simongregersen/flux-beamer
Flux is a modern style beamer presentation.
simongregersen/graph-theory
Graph Theory [maintainers=@chdoc,@damien-pous]
simongregersen/hugo-book
Hugo documentation theme as simple as plain book
simongregersen/jalangi2
Dynamic analysis framework for JavaScript
simongregersen/monotone
simongregersen/simongregersen.github.io
simongregersen/thyultra
simongregersen/tip-mode
Emacs major mode for Tiny Imperative Programming Language (TIP)