Stars
7
stars
written in Java
Clear filter
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
A Java GUI utility to rename TV episodes from TV listings
Processing code to generate isometric line plots of a generative geometry system
A desktop version of the online game called Skribbl.io. This game uses local networking to allow players on the same network to play against each other. Contains a chatbox for users to communicate,…
☕🧭 Java Pathfinding Visualizer | Dijkstra’s, A*, BFS