Skip to content
@KestrelInstitute

Kestrel Institute

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 22 5

  2. SpecwareC SpecwareC Public

    Coq 3

  3. big-code-corpus big-code-corpus Public

    Big code tools for Java bytecode corpus

    Perl

  4. yellowpaper yellowpaper Public

    Forked from ethereum/yellowpaper

    The "Yellow Paper": Ethereum's formal specification

    TeX

  5. librustzcash librustzcash Public

    Forked from str4d/librustzcash

    Rust-language assets for Zcash

    Rust

  6. syntheto-frontend syntheto-frontend Public

    HTML

Repositories

Showing 8 of 8 repositories
  • librustzcash Public Forked from str4d/librustzcash

    Rust-language assets for Zcash

    Rust 0 Apache-2.0 294 0 0 Updated Oct 3, 2022
  • 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 22 BSD-2-Clause 5 1 0 Updated Feb 25, 2022
  • acl2 Public Forked from acl2/acl2

    ACL2 System and Books as Maintained by the Community

    Common Lisp 0 113 0 0 Updated Feb 4, 2022
  • syntheto-frontend Public
    HTML 0 0 0 0 Updated Dec 11, 2021
  • modelRefinement Public

    Python and Z3 code to implement Model Refinement

    Python 0 0 0 0 Updated Oct 13, 2021
  • big-code-corpus Public

    Big code tools for Java bytecode corpus

    Perl 0 BSD-3-Clause 0 0 0 Updated Jul 26, 2018
  • yellowpaper Public Forked from ethereum/yellowpaper

    The "Yellow Paper": Ethereum's formal specification

    TeX 0 CC-BY-SA-4.0 589 0 0 Updated May 31, 2018
  • SpecwareC Public
    Coq 3 BSD-2-Clause 0 0 0 Updated Dec 16, 2015

People

This organization has no public members. You must be a member to see who’s a part of this organization.