Skip to content

@rossprogram Ross Mathematics Program

Change the repository type filter

All

    Repositories list

    17 repositories

    • integer-game

      Public
      Lean
      •
      MIT License
      •0•0•0•0•Updated Jun 19, 2025Jun 19, 2025

    • apply

      Public
      The applicant portal
      Vue
      •1•2•0•6•Updated Mar 16, 2025Mar 16, 2025

    • api

      Public
      Backend for the Ross web services
      Nix
      •0•1•0•11•Updated Mar 12, 2025Mar 12, 2025

    • rossprogram.github.io

      Public
      The Ross Program website
      HTML
      •4•3•0•0•Updated Jan 15, 2025Jan 15, 2025

    • logo

      Public
      Our ZZ logo
      TeX
      •0•0•0•0•Updated Sep 5, 2024Sep 5, 2024

    • evaluate

      Public
      The evaluation portal for the Ross Program
      Vue
      •0•0•0•4•Updated Apr 7, 2024Apr 7, 2024

    • point-set

      Public
      Point set topology problem sets
      TeX
      •1•0•0•0•Updated Jun 14, 2023Jun 14, 2023

    • materials

      Public
      TeX'd materials for participants
      TeX
      •1•0•1•0•Updated May 6, 2023May 6, 2023

    • devops

      Public
      Configuration of all the webservices for the Ross Program
      Nix
      •0•0•0•0•Updated Jan 4, 2023Jan 4, 2023

    • circle-z

      Public
      An IRC client for online math courses, with video conferencing and a collaborative TeX editor
      Vue
      •
      GNU General Public License v3.0
      •2•18•1•2•Updated Nov 10, 2022Nov 10, 2022

    • circle-z-frontend

      Public
      Frontend for the web-hosted version of Circle Z
      Vue
      •2•3•0•0•Updated Jun 14, 2022Jun 14, 2022

    • recommend

      Public
      Recommendation portal
      Vue
      •0•0•0•2•Updated Feb 10, 2022Feb 10, 2022

    • tex.rossprogram.org

      Public
      A real-time collaborative TeX editor
      Nix
      •2•19•3•0•Updated Feb 24, 2021Feb 24, 2021

    • rpg-client

      Public
      Ross Program RPG client
      TypeScript
      •0•1•0•0•Updated Jan 27, 2021Jan 27, 2021

    • rpg-server

      Public
      Ross Program RPG server
      Nix
      •0•0•0•0•Updated Jan 25, 2021Jan 25, 2021

    • store

      Public
      The merchandise store for the Ross Program
      HTML
      •0•0•0•0•Updated Jul 16, 2019Jul 16, 2019

    • business-card

      Public
      Card for advertising the Program
      TeX
      •0•0•0•0•Updated Oct 16, 2018Oct 16, 2018