K
KevOrr
Formal Methods | Program Analysis
63 repositories
60 followers
Repositories
Select a repository to view its commits, contributors, and more.public
libexpert
CLIPS
0
0
0
Updated 6 years ago
public
thebutton-logger
Python
0
0
0
Updated 9 years ago
public
docker
0
0
0
Updated 7 years ago
public
smsanalyzer
Python
0
0
0
Updated 9 years ago
public
Tide-Clock
KiCad
0
0
0
Updated 8 years ago
public
minecraft-scripts
Lua
0
0
0
Updated 5 years ago
public
git-merge-diff-example
0
0
0
Updated 4 years ago
public
snoogle
Reddit comment searcher
HTML
0
0
0
Updated 9 years ago
public
silkroad
Python based database project
Python
0
0
0
Updated 7 years ago
public
catalan-pro
Crunch a lot of numbers quickly
C++
0
0
0
Updated 4 years ago