TrevorEdwards / bigredapp-android
Informational Android app for Cornell University.
☆14Updated 7 years ago
Alternatives and similar repositories for bigredapp-android:
Users that are interested in bigredapp-android are comparing it to the libraries listed below
- C0rn3LL 4 L337 H4xx0rz☆36Updated 2 years ago
- Awesome Projects @ Cornell☆14Updated 6 years ago
- DrawRacket4Me draws trees and graphs from your code, making it easier to check if the structure is what you wanted.☆43Updated 8 years ago
- A website for softies.☆10Updated 3 years ago
- A slackbot to compete on mini crosswords (or any other daily challenge).☆16Updated 2 years ago
- CourseRoad is a four-year academic planner for undergraduates.☆62Updated 5 years ago
- Script for connecting to NUwave from linux☆21Updated 11 years ago
- OCaml bindings for TensorFlow☆284Updated 5 years ago
- Quickly download past CS exams with solutions!☆22Updated 9 years ago
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Updated 8 years ago
- A Haskell-powered modernization of Counterexamples in Topology☆39Updated 8 years ago
- New Chrome tab page showing time left till midnight☆8Updated 8 years ago
- Flow is a website that lets you plan courses with friends.☆234Updated 2 years ago
- MIU from GEB, circa 1980☆16Updated 7 years ago
- a text-based cooperative cooking game☆52Updated last year
- Monitor /r/thebutton.☆131Updated 6 years ago
- A proof assistant for refinement logics☆8Updated 6 years ago
- A manually curated list of all security internships available for summer 2017.☆18Updated 8 years ago
- Code in memes☆124Updated last year
- An abstract algebra library for Java.☆8Updated 4 years ago
- A LaTeX package for formatting meta-theory.☆46Updated 4 years ago
- Beautiful, interactive visualizations of logical inference☆150Updated 4 years ago
- Find surprising moves in chess games☆177Updated 4 years ago
- Course notes for the University of Waterloo☆28Updated 6 years ago
- ☆342Updated 6 years ago
- OCaml graph library☆236Updated 2 weeks ago
- Easily navigate class registration data.☆12Updated 7 years ago
- A new reference manual for the ocamlbuild tool☆67Updated 8 years ago
- Harper's Modernized ALGOL in SML using multi-sorted nominal abstract binding trees☆15Updated 7 years ago
- LaTeX notes for a few courses I've taken at the University of Waterloo.☆50Updated 7 years ago