rymaju / FundiesCollab
Collaborative Real-Time Coding in Java using the Fundies 2 Tester and Image libraries.
☆9Updated 3 years ago
Alternatives and similar repositories for FundiesCollab:
Users that are interested in FundiesCollab are comparing it to the libraries listed below
- The VandyHacks Discord Bot.☆6Updated 3 years ago
- An interpreter for learning and exploring pure λ-calculus☆451Updated 3 years ago
- Proxy specifically available for AP scores to enable simple early access to your scores without any storing of your College Board account…☆108Updated 2 years ago
- The Vanderbilt Hustler: Classic Edition☆8Updated 2 years ago
- ☆224Updated 5 months ago
- Enhancement suite for RIT's myCourses☆18Updated 3 years ago
- Marmoset Improved! Better UI and functionality☆39Updated 11 months ago
- a structured interaction engine 🗜️ ⚗️☆467Updated 11 months ago
- Web-based exam server.☆13Updated 4 months ago
- The cuteness implementation of a dependently typed language.☆189Updated 2 years ago
- CS assignment / grade mangement system☆4Updated 4 months ago
- A quiz to test your ability to tell apart stupid KTV names from stupid condominium names in Singapore☆9Updated 3 years ago
- Skipping iClicker lectures has never been so easy... obviously not to actually be used in class for nefarious purposes.☆170Updated 3 years ago
- ☆8Updated 2 months ago
- 👋 get to know me through my personal website!☆10Updated last year
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆353Updated this week
- Webapp to streamline office hours at Northeastern.☆32Updated 9 months ago
- GPA++ course stats search engine☆13Updated last year
- A Powerpoint CPU☆92Updated 4 years ago
- This repo is the new home of Proof General☆497Updated last month
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆294Updated 10 months ago
- A microservice queue for holding open office hours☆81Updated last year
- ☆13Updated last year
- proof of concept to detect website visits from a university☆16Updated 4 years ago
- A gamification of the theorems in MATH40002 Analysis 1☆81Updated last year
- Interactive Coq Proofs in Vim☆278Updated 2 weeks ago
- A better way to search Stanford courses☆20Updated last year
- Resources for the UQCS competitive programming group☆20Updated 8 months ago
- ☆24Updated 3 years ago
- Brew package to quickly init a gitignore☆12Updated 2 years ago