matthewsot

Matthew Sotoudeh's repositories

docs-vim

Use Google Docs like vim. Sorta.

Language:JavaScriptMIT113 10 6

SharpSwift

C# to Swift syntax converter. Just to play around :)

Language:C#NOASSERTION57 10 3

docs-plus

A library for rich Google Docs extensions that can integrate with its editor

Language:JavaScriptMIT36 6 3

ssi-live22

Code for the LIVE 2022 paper "System-Specific Interpreters Make Megasystems Friendlier"

Language:PythonAGPL-3.04 30

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”.

Language:SMTNOASSERTION010

chibicc

A small C compiler

Language:CMIT010

cs197-systems

Monorepo for the CS 197 Systems section

Language:TeX000

cs240lx-22spr

cs240lx class repo. except in very rare cases, cs140e is a hard requirement.

Language:CMIT000