Pinned Repositories
metalib
The Penn Locally Nameless Metatheory Library
corespec
A Specification for Dependent Types in Haskell (Core)
cis501
UPenn CIS 501: Fall 2015 homework assignments
IdeaManagerPrototype
kpn
Sys' project
match-point
Match similar point systems
sem-text
Semantic text
smt-project
Simple smt solver for a class project
Sublime-Coq
Coq programming language support for Sublime Text
TinyFS
Naive file system implementation
toineo's Repositories
toineo/kpn
Sys' project
toineo/match-point
Match similar point systems
toineo/sem-text
Semantic text
toineo/smt-project
Simple smt solver for a class project
toineo/TinyFS
Naive file system implementation
toineo/cis501
UPenn CIS 501: Fall 2015 homework assignments
toineo/IdeaManagerPrototype
toineo/Sublime-Coq
Coq programming language support for Sublime Text
toineo/system-fc-coq
toineo/WorldGen
World generation library