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