prakol16's repositories
rdp-expansion-only
An implementation of the Douglas-Peucker algorithm, modified so that the simplified polygon contains the original.
RobotIntro
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.
PokemonNameGenerator
Use neural networks to randomly generate names for a Pokemon, given a "kind" and the type.
allwpilib
Official Repository of WPILibJ and WPILibC
cedar
Core implementation of the Cedar language
cedar-spec
Definitional implementation of Cedar language and utilities for DRT
chess-recognition
Recognize chess pieces on a chessboard
ControlFreak
Controls our T-Shirt Bot
ggp_template
Creates template projects and compiles javascript player files into html files
HabaneroOnboarding2019
Habanero's onboarding code
hfzfa
Hereditarily Finite ZF (set theory) with atoms in Lean
lean-fundamental-groupoid
Proving some properties about the fundamental groupoid in lean
lean_complexity_theory_polytime_defs
Starting to define poly-time algorithms in Lean
oppia
Tool for collaboratively building interactive lessons.
sea-query
đź”± A dynamic SQL query builder for MySQL, Postgres and SQLite