x
Repositories
Select a repository to view its commits, contributors, and more.public
stack
A static checker for identifying unstable code.
C++
359
56
9
Updated a month ago
public
mini-mc
minimal symbolic model checker & fuzzer
Python
111
23
1
Updated 3 months ago
public
libo
Integer arithmetic with overflow detection
Assembly
72
7
0
Updated 9 months ago
public
arithcc
Lean
13
0
0
Updated 7 months ago
public
homebrew-jos
Ruby
6
3
1
Updated 4 years ago
public
sparse
C
4
1
0
Updated a year ago
public
splay
sparse => llvm
C
3
1
0
Updated a year ago
public
jos-15au
CSE 451 15au
C
2
4
0
Updated 4 years ago
public
sky
A JavaScript library for visualizing celestial objects.
JavaScript
1
0
0
Updated 10 years ago
public
geometry
Makefile
0
0
0
Updated 4 years ago
public
xiw.github.io
JavaScript
0
0
3
Updated 4 years ago
public
homebrew-crossbuild
Ruby
0
0
0
Updated 6 years ago