zyx-billy

Pittsburgh, PA

Pinned Repositories

Autolab
Course management service that enables auto-graded programming assignments.
Language:Ruby752 35 839213
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Language:LLVM27.8k 583 75.6k11.4k
mlir-playground
Play with MLIR right in your browser
Language:TypeScript121 7 205
wyvern
The Wyvern programming language.
Language:Java551 79 13965
Autolab
Course management service that enables auto-graded programming assignments.
Language:Ruby0 0 00
dpll-sat
A DPLL-based SAT solver focused on traceability
Language:C++0 0 00
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
00
PySecretHitler
Python adaptation of the board game Secret Hitler (unofficial)
Language:Python1 1 11
wyvern
The Wyvern programming language.
Language:Java1 0 00
wyvern-syntax
VS Code Syntax Extension for Wyvern
Language:JavaScript0 1 00

zyx-billy's Repositories

zyx-billy/PySecretHitler
Python adaptation of the board game Secret Hitler (unofficial)
Language:Python1 1 11
zyx-billy/wyvern
The Wyvern programming language.
Language:Java1 0 00
zyx-billy/Autolab
Course management service that enables auto-graded programming assignments.
Language:Ruby0 0 00
zyx-billy/dpll-sat
A DPLL-based SAT solver focused on traceability
Language:C++0 0 00
zyx-billy/wyvern-syntax
VS Code Syntax Extension for Wyvern
Language:JavaScript0 1 00