K
KevOrr
Formal Methods | Program Analysis
64 repositories
65 followers
Repositories
Select a repository to view its commits, contributors, and more.public
Classes
Normal ol' assignments
C++
0
1
0
Updated 6 years ago
public
6-K
6°K attempts to find the highest Bacon Number(s) in existence
Python
0
0
0
Updated 10 years ago
public
libexpert
CLIPS
0
0
0
Updated 6 years ago
public
thebutton-logger
Python
0
0
0
Updated 10 years ago
public
docker
0
0
0
Updated 7 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 8 years ago
public
catalan-pro
Crunch a lot of numbers quickly
C++
0
0
0
Updated 4 years ago