AstralSorcerer

PhD student at the University of Utah

University of Utah

Pinned Repositories

4D-sudoku
Sudoku in four dimensions!
Language:C1 1 00
alive2
Automatic verification of LLVM optimizations
Language:C++0 0 00
configs
My configuration files.
Language:Vim Script0 1 00
Equivalent-Exchange-3
Language:Java0 1 00
Late-Start
GameCraft jam 2023-09
Language:GDScript0 1 00
rochack.org
MIND EXPLODING FACTORY OF AWESOMENESS ROCHACK SITE.
Language:CSS0 1 00
rust
A safe, concurrent, practical language.
Language:Rust0 1 00
uWebSockets
Tiny WebSockets
Language:C++0 1 00
xdsl-smt
The implementation of an SMTLib dialect for xDSL
Language:Python5 5 10
Ombro
Master Repository for Ombro
Language:Makefile2 3 20

AstralSorcerer's Repositories

AstralSorcerer/4D-sudoku
Sudoku in four dimensions!
Language:C1 1 00
AstralSorcerer/alive2
Automatic verification of LLVM optimizations
Language:C++0 0 00
AstralSorcerer/configs
My configuration files.
Language:Vim Script0 1 00
AstralSorcerer/Equivalent-Exchange-3
Language:Java0 1 00
AstralSorcerer/Late-Start
GameCraft jam 2023-09
Language:GDScript0 1 00
AstralSorcerer/rochack.org
MIND EXPLODING FACTORY OF AWESOMENESS ROCHACK SITE.
Language:CSS0 1 00
AstralSorcerer/rust
A safe, concurrent, practical language.
Language:Rust0 1 00
AstralSorcerer/uWebSockets
Tiny WebSockets
Language:C++0 1 00
AstralSorcerer/xdsl
A Python Compiler Design Toolkit
Language:Python0 0