Popular repositories Loading

1. cvc5 cvc5 Public

   Forked from cvc5/cvc5

   CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

   SMT 1

2. homebrew-boneyard homebrew-boneyard Public

   Forked from necromant2005/homebrew-boneyard

   💀 Archive of formulae removed from the Homebrew package manager

   Ruby

3. modern_design modern_design Public

   Repository for working on Stanford class on modern design

   Verilog

4. boogie boogie Public

   Forked from boogie-org/boogie

   Boogie

   Boogie

5. diem diem Public

   Forked from diem/diem

   Diem’s mission is to enable a simple global payment system and financial infrastructure that empowers billions of people.

   Rust

6. mvalentine.github.io mvalentine.github.io Public

   Forked from mvalentine/mvalentine.github.io

   HTML