Popular repositories Loading

1. rdp-expansion-only rdp-expansion-only Public

   An implementation of the Douglas-Peucker algorithm, modified so that the simplified polygon contains the original.

   Python 9 1

2. marta-bus-input-tool marta-bus-input-tool Public

   HTML 4 1

3. lean_complexity_theory_polytime_trees lean_complexity_theory_polytime_trees Public

   Lean 4

4. circuits circuits Public

   Lean 3

5. RobotIntro RobotIntro Public

   This is not a bad simulator; instead, this is a stripped down version of just the bare minimum from last years robot. It should have all the basics needed to get the robot up and running.

   Java 2

6. IdeaJS IdeaJS Public

   A game engine for developing games based on the HTML5 canvas

   CoffeeScript 1