Popular repositories Loading

1. Specware Specware Public

   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 SpecwareC Public

   Coq 3

3. modelRefinement modelRefinement Public

   Python and Z3 code to implement Model Refinement

   Python 1

4. acl2-docker acl2-docker Public

   Build docker images containing ACL2

   Dockerfile 1 1

5. big-code-corpus big-code-corpus Public

   Big code tools for Java bytecode corpus

   Perl

6. yellowpaper yellowpaper Public

   Forked from ethereum/yellowpaper

   The "Yellow Paper": Ethereum's formal specification

   TeX