Pinned Repositories
Autolab
Course management service that enables auto-graded programming assignments.
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
mlir-playground
Play with MLIR right in your browser
wyvern
The Wyvern programming language.
Autolab
Course management service that enables auto-graded programming assignments.
dpll-sat
A DPLL-based SAT solver focused on traceability
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
PySecretHitler
Python adaptation of the board game Secret Hitler (unofficial)
wyvern
The Wyvern programming language.
wyvern-syntax
VS Code Syntax Extension for Wyvern
zyx-billy's Repositories
zyx-billy/PySecretHitler
Python adaptation of the board game Secret Hitler (unofficial)
zyx-billy/wyvern
The Wyvern programming language.
zyx-billy/Autolab
Course management service that enables auto-graded programming assignments.
zyx-billy/dpll-sat
A DPLL-based SAT solver focused on traceability
zyx-billy/wyvern-syntax
VS Code Syntax Extension for Wyvern