jrkoenig

Stanford University Computer Science DepartmentStanford, CA

Pinned Repositories

atom
:atom: The hackable text editor
Language:JavaScript60.2k 2.6k 17.1k17.4k
git-utils
Git Node Module
Language:JavaScript166 21 5959
cryptominisat
An advanced SAT solver
Language:C++00
cvc5
cvc5 is an open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Language:SMT00
folseparators
First Order Logic Separators
Language:Python51
mypyvy
A language for symbolic transitions system, inspired by Ivy.
Language:Python00
stoke-driver
Language:Python0 1 00
stoke
STOKE: A stochastic superoptimizer and program synthesizer
Language:C++737 39 99975
x64asm
x86-64 assembler library
Language:C++468 30 23760

jrkoenig's Repositories

jrkoenig/folseparators
First Order Logic Separators
Language:Python51
jrkoenig/cryptominisat
An advanced SAT solver
Language:C++00
jrkoenig/cvc5
cvc5 is an open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Language:SMT00
jrkoenig/mypyvy
A language for symbolic transitions system, inspired by Ivy.
Language:Python00
jrkoenig/stoke-driver
Language:Python0 1 00