Software Engineering Course Project

The Tektosyne Library for Java provides algorithms for computational geometry and graph-based pathfinding, along with supporting mathematical utilities and specialized collections.

ROS and GAMS/MADARA integration with move_base and Gazebo

This is a fork of JMockit1 with an experimental implementation of prime path coverage

A poor-man's prolog, in rust, for doing exhaustive testing. It lets you write singlethreaded code with calls to choose(n) that return a value in 0..n-1, and executes that code in all possible ways for all possible combinations of values for the chooses.