Discover projects, groups and snippets. Share your projects with others
mperl: A language for custom robotic manipulators
Some example verification demonstrating the use of Iris.
An extended "Standard Library" for Coq. [coqdoc]
Publicly released Azure Functions traces from https://github.com/Azure/AzurePublicDataset/blob/master/AzureFunctionsDataset2019.md
The main Coq development.
Code for RedQueen paper for simulating user walls synthetically as well as using real data.
Model checker for distributed systems using hitting families of schedules