K
KevOrr
Formal Methods | Program Analysis
64 repositories
65 followers
Repositories
Select a repository to view its commits, contributors, and more.public
chroma
JavaScript
0
0
0
Updated 10 years ago
public
github-workflow-testing
C
0
0
0
Updated 4 years ago
public
xlc
Haskell
0
0
0
Updated a year ago
public
langen
Python
0
0
0
Updated 10 years ago
public
stack-rpath-test
Shell
0
0
0
Updated a year ago
public
programming-challenges
My solutions to various programming challenges
Haskell
0
0
0
Updated 4 years ago
public
insolent-hockeypuck
Java
0
0
0
Updated 9 years ago
public
name-scroller
Python
0
0
0
Updated 10 years ago
public
lisp-projects
Common Lisp
0
0
0
Updated 8 years ago
public
4-4-4-LED-Cube
0
0
0
Updated 8 years ago
public
haskell-lib-test
Makefile
0
0
0
Updated 3 months ago
public
ceplscope
Common Lisp
0
0
0
Updated 7 years ago