Pinned Loading

1. orca-midi-in orca-midi-in Public

   Tool for sequencing ORCA notes via MIDI controller input

   Python

2. polytabloid polytabloid Public

   Searches for Specht modules which decompose with a one-dimensional summand. Summer 2018 mathematics research project

   Python

3. category-theory category-theory Public

   An introduction to category theory and Lawvere's fixed point theorem. Senior thesis submitted for completion of mathematics B.S.

4. GatorIncubator/gatorgrouper GatorIncubator/gatorgrouper Public

   👥 Automated Group Formation Tool Enabling Effective Team Work

   Python 20 20

5. voicings voicings Public

   Command-line tool which finds and ranks all the ways to play the specified chord on a string instrument.

   Python

6. when-to-meet when-to-meet Public

   A TypeScript & Express app for scheduling group meetings

   TypeScript