acwilton

Graduate student at the University of Delaware

Lancaster PA

Pinned Repositories

ModelCheckingAlgorithms
My implementation of some model checking algorithms in C++.
Language:C++1 1 00
parallel-path-finding
An investigation into optimizing path-finding algorithms with multiple processors.
Language:C++2 0 21
nyxt
Nyxt - the hacker's browser.
Language:Common Lisp9.8k 116 2.3k409
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Language:SMT1k 35 2.6k225
UML_Editor
Little Bobby Tables takes on a UML Editor.
Language:Java0 1 30
chef-valhalla
Chef cookbook for running the Valhalla suite of applications, the routing service and tile cutting in particular
Language:HTML21 22 296
valhalla
Open Source Routing Engine for OpenStreetMap
Language:C++4.4k 103 2.3k674
valhalla-docs
DEPRECATED: The up-to-date documentation for valhalla can be found in the main repository.
76 30 5144

acwilton's Repositories

acwilton/parallel-path-finding
An investigation into optimizing path-finding algorithms with multiple processors.
Language:C++2 0 21
acwilton/ModelCheckingAlgorithms
My implementation of some model checking algorithms in C++.
Language:C++1 1 00