Pinned Repositories
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
bitwuzla
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.
chibicc
A small C compiler
cs197-systems
Monorepo for the CS 197 Systems section
cs240lx-22spr
cs240lx class repo. except in very rare cases, cs140e is a hard requirement.
docs-plus
A library for rich Google Docs extensions that can integrate with its editor
docs-vim
Use Google Docs like vim. Sorta.
SharpSwift
C# to Swift syntax converter. Just to play around :)
ssi-live22
Code for the LIVE 2022 paper "System-Specific Interpreters Make Megasystems Friendlier"
matthewsot's Repositories
matthewsot/docs-vim
Use Google Docs like vim. Sorta.
matthewsot/SharpSwift
C# to Swift syntax converter. Just to play around :)
matthewsot/docs-plus
A library for rich Google Docs extensions that can integrate with its editor
matthewsot/ssi-live22
Code for the LIVE 2022 paper "System-Specific Interpreters Make Megasystems Friendlier"
matthewsot/bitwuzla
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.
matthewsot/chibicc
A small C compiler
matthewsot/cs197-systems
Monorepo for the CS 197 Systems section
matthewsot/cs240lx-22spr
cs240lx class repo. except in very rare cases, cs140e is a hard requirement.