TrevorEdwards / bigredapp-androidLinks
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
Sorting:
- C0rn3LL 4 L337 H4xx0rz☆36Updated 2 years ago
- Awesome Projects @ Cornell☆14Updated 7 years ago
- Jekyll in Haskell (feat. LaTeX)☆93Updated 7 years ago
- A web service that exposes RESTful endpoints for generating emojipastas, as well as a simple frontend for generating and tweeting emojipa…☆8Updated 8 years ago
- CourseRoad is a four-year academic planner for undergraduates.☆63Updated 6 years ago
- New Chrome tab page showing time left till midnight☆8Updated 8 years ago
- A website for softies.☆10Updated 3 years ago
- Quickly download past CS exams with solutions!☆22Updated 9 years ago
- A proof assistant for refinement logics☆8Updated 6 years ago
- Flow is a website that lets you plan courses with friends.☆234Updated 2 years ago
- pokemon-mon-mon-mon☆28Updated last year
- InFuture's Website for 2015☆10Updated 9 years ago
- Solving "99 List Problems" using Objective Caml☆84Updated 6 years ago
- A Haskell-powered modernization of Counterexamples in Topology☆39Updated 8 years ago
- OCaml bindings for TensorFlow☆284Updated 5 years ago
- HTML 5 canvas implementation of Mario written in Ocaml☆542Updated 3 years ago
- Easily navigate class registration data.☆12Updated 7 years ago
- The fastest and easiest notepad ever.☆14Updated 9 years ago
- Link to preprints for POPL'17 and co-located events☆100Updated 8 years ago
- Links to publicly available preprints for the POPL'16 conference☆120Updated 8 years ago
- TicTacToe in Haskell.☆11Updated 8 years ago
- Several translations of segment trees for CMU's 15-451 (Algorithms).☆21Updated 4 years ago
- Open data APIs for interfacing with public information from the University of Toronto.☆98Updated 5 years ago
- A python script that helps students study throughout the semester, instead of having to cram before exams.☆59Updated 4 years ago
- Dead-code analyzer for OCaml☆89Updated 5 months ago
- Stand-alone programs for numerical analysis in OCaml☆47Updated 10 years ago
- Twitter Bot, Web Scraper and API for all things US Presidency.☆13Updated 2 years ago
- A slackbot to compete on mini crosswords (or any other daily challenge).☆16Updated 3 years ago
- Unofficial Major League Hacking API☆20Updated 5 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