bnelo12 / Pig-Latin-Unit-TesterLinks
☆8Updated 7 years ago
Alternatives and similar repositories for Pig-Latin-Unit-Tester
Users that are interested in Pig-Latin-Unit-Tester are comparing it to the libraries listed below
Sorting:
- This is a fool-proof pizza base recipe.☆15Updated 6 years ago
- The grand wiki☆55Updated 10 years ago
- An autograder and grade database for GitHub-based courses☆18Updated 2 years ago
- C0rn3LL 4 L337 H4xx0rz☆36Updated 2 years ago
- Informational Android app for Cornell University.☆14Updated 7 years ago
- Unofficial Client for Piazza's Internal API☆197Updated 7 months ago
- Welcome to Better Informatics. The student run website for students in the School of Informatics.☆72Updated this week
- Open Source Polling App☆14Updated last month
- A tool for analyzing and transforming context-free grammars.☆221Updated last month
- A slackbot to compete on mini crosswords (or any other daily challenge).☆16Updated 3 years ago
- Race Condition Running☆11Updated this week
- Benchmark for undergraduate-level formal mathematics☆107Updated 7 months ago
- Android version of the unofficial McGill app MyMartlet.☆10Updated 3 years ago
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆296Updated last year
- Browser extension enhancing the functionality and navigability of McGill.ca☆56Updated 5 months ago
- ✏️ Hackathon registration server☆66Updated last year
- A understandable Haskell tracer.☆14Updated 3 years ago
- Open data APIs for interfacing with public information from the University of Toronto.☆98Updated 5 years ago
- How to set up OAuth 2.0 from MIT OpenID using Passport.js and selected guides on understanding OAuth 2.0.☆12Updated 7 years ago
- ☆9Updated 5 years ago
- Quickly download past CS exams with solutions!☆22Updated 9 years ago
- Guidelines for offering jobs in the UTCS Facebook group☆12Updated 10 years ago
- An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.☆124Updated this week
- A queue to help manage office hours for large courses☆86Updated last year
- A Learning Environment for Theorem Proving☆75Updated 2 years ago
- A Python library for integrating model-based and judgmental forecasting☆107Updated 3 years ago
- A compilation of blogs by Waterloo students and alumni☆64Updated 4 years ago
- https://albertqjiang.github.io/Portal-to-ISAbelle/☆56Updated last year
- ☆13Updated 6 years ago
- ☆19Updated last year