-
fantom Public
Forked from fantom-lang/fantomFantom Programming Language
Fantom Academic Free License v3.0 UpdatedAug 16, 2023 -
mathlib-descartes-rule-of-signs Public
Forked from leanprover-community/mathlib3Lean mathematical components library
Lean Apache License 2.0 UpdatedDec 2, 2022 -
-
scratchpad-features Public
Interface used for feature bloat research
JavaScript UpdatedMay 23, 2021 -
shiny-plugin Public
A Shuffleboard plugin that currently provides an Xbox controller, timer, and path widget.
-
FRC-20 Public
Forked from team422/FRC-20Commented base robot code for 2020 practice
Java UpdatedNov 28, 2020 -
profiscendum Public
A Java game featuring a city and extremely 2D graphics.
Java UpdatedJul 6, 2020 -
-
FRC-18-Java Public
Forked from team422/FRC-18-JavaJava version of the 2018 code used for Offseason training and IROC.