Simon Gregersen's repositories
jalangi2-typescript
TypeScript declaration file and analysis skeleton for Jalangi2, a dynamic analysis framework for JavaScript.
analysis
Mathematical Components compliant Analysis Library
Language:CoqNOASSERTION000
CompCert
The CompCert formally-verified C compiler
Language:CoqNOASSERTION000
coq-proba
A Probability Theory Library for the Coq Theorem Prover
Language:CoqApache-2.0000
coq-record-update
Library to create Coq record update functions
Language:CoqMIT000
docker-homeserver
Docker setup for home server
Language:TypeScript000
dune
A composable build system for OCaml.
Language:OCamlMIT000
Examples
A collection of TLA+ specifications of varying complexities
Language:TLANOASSERTION000
flux-beamer
Flux is a modern style beamer presentation.
Language:TeX000
graph-theory
Graph Theory [maintainers=@chdoc,@damien-pous]
Language:Coq000
hugo-book
Hugo documentation theme as simple as plain book
Language:HTMLMIT000
Language:Coq000