Giters
Clark Barrett (barrettcw)

barrettcw

Geek Repo

17

followers

0

following

0

stars

Company:Stanford University

Home Page:http://www.cs.stanford.edu/~barrett/

Github PK Tool:Github PK Tool

Organizations
CVC4
cvc5
SMT-LIB
StanfordAISafety

Clark Barrett's repositories

boogie

Boogie

Language:BoogieLicense:MITStargazers:0Issues:1Issues:0

cvc5

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

Language:SMTLicense:NOASSERTIONStargazers:0Issues:3Issues:0

diem

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

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

homebrew-boneyard

:skull: Archive of formulae removed from the Homebrew package manager

Language:RubyLicense:NOASSERTIONStargazers:0Issues:2Issues:0

modern_design

Repository for working on Stanford class on modern design

Language:VerilogStargazers:0Issues:3Issues:0

move

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

mvalentine.github.io

Language:HTMLStargazers:0Issues:1Issues:0