Kestrel Institute

Popular repositories Loading

1. Specware SpecwarePublic

   Specware consists of a formal specification language and tools for transformation and refinement to efficient implementations in CommonLisp, C, Java and Haskell.

   Common Lisp 25 5

2. SpecwareC SpecwareCPublic

   Coq 3

3. modelRefinement modelRefinementPublic

   Python and Z3 code to implement Model Refinement

   Python 1

4. acl2-docker acl2-dockerPublic

   Build docker images containing ACL2

   Dockerfile 1 1

5. big-code-corpus big-code-corpusPublic

   Big code tools for Java bytecode corpus

   Perl

6. yellowpaper yellowpaperPublic

   Forked from ethereum/yellowpaper

   The "Yellow Paper": Ethereum's formal specification

   TeX