Pinned Loading

1. jprogress jprogress Public

   Progressor implementation for handling uncertainty in MTL runtime verification through partial-state progression.

   Java 1

2. image-processor image-processor Public

   A basic greyscale image processing tool with support for inversion, contrast enhancement, smoothening, sharpening, edge detection, Hough transform, and rescaling.

   Java

3. ke-prover ke-prover Public

   An automated theorem prover using propositional KE rules for tableaux.

   Java

4. enn-reversi enn-reversi Public

   A bot for Reversi trained using evolutionary neural networks and utilising alpha-beta pruning for play.

   Java

5. raytracer raytracer Public

   A simple raytracer with support for primitives, anti-aliasing, refraction, and Perlin noise.

   Java

6. dyknow_common dyknow_common Public

   Run-time subscription reconfiguration support for ROS nodelets.

   C++