Popular repositories Loading

1. ChemistrySet ChemistrySet Public

   Forked from aturon/ChemistrySet

   A library for composable fine-grained concurrency.

   Scala

2. SkippingRefinement SkippingRefinement Public

   Skipping refinement a notion of correctness for reasoning about optimized reactive systems

   Common Lisp

3. acl2 acl2 Public

   Forked from acl2/acl2

   ACL2 System and Books as Maintained by the Community

   Common Lisp

4. refinement-case-studies refinement-case-studies Public

   Case study for proving skipping refinement

   Common Lisp

5. dissertation dissertation Public

6. hypervisor hypervisor Public

   Common Lisp