-
cubical-categorical-logic Public
Forked from um-catlab/cubical-categorical-logicExtensions to cubical for categorical logic/type theory
Agda MIT License UpdatedDec 19, 2025 -
eecs-598-fa2025 Public
Forked from um-catlab/eecs-598-fa2025Lecture notes and problem sets for EECS 598 Category Theory
TeX UpdatedDec 19, 2025 -
java-fmod Public
Java Bindings for FMOD
Java BSD 3-Clause "New" or "Revised" License UpdatedNov 13, 2025 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection & NixOS
Nix MIT License UpdatedMay 30, 2025 -
libndk_extracted Public
Files extracted from Android SDK for x86_64, version 30, revision 9, that are related to the libndk translation layer. README contains instructions for installation onto an existing Waydroid image.
-
-
-
crow-islands Public
Retaking the Stuyvesant Computer Graphics course (non-audit this time), using this as an opportunity to learn Rust.
-
-
StuyLib Public
Forked from StuyPulse/StuyLibCommon robot code, FRC Library/Toolkit, by StuyPulse Team 694
-
Jeffery Public
Forked from StuyPulse/JefferyStuyPulse's 2023 Robot Code
Java MIT License UpdatedJan 11, 2023 -
-
-
-
-
Artemis Public
Forked from Wynntils/WynntilsArtemis is the goddess of hunting
Java GNU Affero General Public License v3.0 UpdatedJul 5, 2022 -
-
syncing_circuits Public
A simple simulator to visualize (and audio-ize (?)) an RLC circuit.
-
JeremyBot Public
Forked from StuyPulse/JeremyBotFRC Robot Code for 2021 + 2022 Swerve Drive Research
Java Other UpdatedMay 31, 2022 -
GitHubGraduation-2022 Public
Forked from github-education-resources/GitHubGraduation-2022Join the GitHub Graduation Yearbook and "walk the stage" on June 11.
JavaScript UpdatedMay 22, 2022 -
patchwork Public
Forked from jlord/patchworkAll the Git-it Workshop completers!
HTML Other UpdatedFeb 12, 2022 -
-
cybersec-ghidra-presentation Public
Cybersecurity Winter 2021 with Mr. Konstantinnovich: Decompiling Assembly to C with Ghidra
C UpdatedDec 22, 2021 -
AdventStringsCPP Public
A personal header file for useful quick string manipulation I might need later
C++ MIT License UpdatedDec 2, 2021 -
StuyBots-Reloaded Public
Forked from StuyPulse/StuyBots-ReloadedThis project contains completely rewritten code for our past robots
Java UpdatedNov 22, 2021 -
password-manager Public
Short learning proof of concept for self for a password manager
Rust MIT License UpdatedNov 7, 2021 -
-
-
-
APCSFinalProject Public
Processing Wars - https://docs.google.com/document/d/1jCxJlMErQpc8d1ON0SRkjM86jRKr0KJYfQS17Rnp_Hk/edit?usp=sharing
Processing UpdatedJun 14, 2021
{{ message }}