Pinned Repositories
cashcard
Continuous-Integration
Hackerrank_solutions
Solutions to exercises at HackerRank
jdk8u-dev-jdk
jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
notesapp
pandas
Flexible and powerful data analysis / manipulation library for Python, providing labeled data structures similar to R data.frame objects, statistical functions, and much more
robotSimulator
tracecompass-incubator
JPF Trace for Incubator Trace Server
numpy
The fundamental package for scientific computing with Python.
johbess's Repositories
johbess/tracecompass-incubator
JPF Trace for Incubator Trace Server
johbess/cashcard
johbess/Continuous-Integration
johbess/Hackerrank_solutions
Solutions to exercises at HackerRank
johbess/jdk8u-dev-jdk
johbess/jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
johbess/notesapp
johbess/pandas
Flexible and powerful data analysis / manipulation library for Python, providing labeled data structures similar to R data.frame objects, statistical functions, and much more
johbess/robotSimulator