s
Repositories
Select a repository to view its commits, contributors, and more.public
jams
Java
15
0
0
Updated 9 months ago
public
ssm
simple stream manager, check it out at https://shua.github.io/ssm
JavaScript
3
0
0
Updated 5 years ago
public
leanknot
Some formalizations of knot theory ideas in lean
Lean
3
2
0
Updated 9 months ago
public
balacant
a native clone of a fun web game
C++
2
0
0
Updated 2 years ago
public
graf
print grafana data in your terminal
Rust
2
0
3
Updated 2 years ago
public
dolface
collection of simple tools for working with nintendo dol and related files
C
2
1
0
Updated a year ago
public
mito
sad attempt at an agar.io clone
HTML
2
2
0
Updated 2 years ago
public
pl-http-server
an http server written in prolog
Prolog
1
0
0
Updated 6 years ago
public
leapontheremotion
Imagine you had the ability to control everything, now take away everything and leave pitch and volume
C
1
0
0
Updated 2 years ago
public
terraform-provider-splunksearch
terraform provider for splunk searches
Go
1
0
0
Updated 2 years ago
public
gpodrs
minimal gpodder.net server
Rust
1
0
0
Updated a year ago
public
Ogitor-Facade-Plugins
C++
1
0
0
Updated 2 years ago