8000 Kestrel Institute · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
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

    KestrelInstitute/librustzcash’s past year of commit activity
    Rust 0 Apache-2.0 295 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.

    KestrelInstitute/Specware’s past year of commit activity
    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

    KestrelInstitute/acl2’s past year of commit activity
    Common Lisp 0 114 0 0 Updated Feb 4, 2022
  • syntheto-frontend Public
    KestrelInstitute/syntheto-frontend’s past year of commit activity
    HTML 0 0 0 0 Updated Dec 11, 2021
  • modelRefinement Public

    Python and Z3 code to implement Model Refinement

    KestrelInstitute/modelRefinement’s past year of commit activity
    Python 0 0 0 0 Updated Oct 13, 2021
  • big-code-corpus Public

    Big code tools for Java bytecode corpus

    KestrelInstitute/big-code-corpus’s past year of commit activity
    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

    KestrelInstitute/yellowpaper’s past year of commit activity
    TeX 0 CC-BY-SA-4.0 589 0 0 Updated May 31, 2018
  • SpecwareC Public
    KestrelInstitute/SpecwareC’s past year of commit activity
    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.

Top languages

Loading…

Most used topics

Loading…
0