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
- HTML 5 canvas implementation of Mario written in Ocaml☆545Updated 4 years ago
- Computer players for a collaborative card game☆25Updated 6 years ago
- CourseRoad is a four-year academic planner for undergraduates.☆63Updated 6 years ago
- ☆343Updated 7 years ago
- Quickly download past CS exams with solutions!☆22Updated 9 years ago
- Open data APIs for interfacing with public information from the University of Toronto.☆98Updated 5 years ago
- Jekyll in Haskell (feat. LaTeX)☆93Updated 8 years ago
- OCaml bindings for TensorFlow☆287Updated 6 years ago
- A website for softies.☆10Updated 3 years ago
- If Donald Knuth had designed Wikipedia☆372Updated 6 years ago
- Guidelines for offering jobs in the UTCS Facebook group☆12Updated 10 years ago
- A simple template for notes taken in courses at the University of Waterloo☆16Updated 11 years ago
- Formalizations of Gödel's Ontological Proof of God's Existence☆454Updated 6 years ago
- Questions and solutions for interview prep sessions held by the UPL☆52Updated 7 years ago
- OCaml graph library☆241Updated 3 months ago
- Presentation software based on nested, zoomable canvases and live code.☆20Updated 8 years ago
- text adventure all the things☆37Updated 10 years ago
- 🐣 A blog engine written and proven in Coq☆182Updated 5 years ago
- A modern syntax for the λ-calculus.☆413Updated 9 years ago
- The official MHacks Android App☆21Updated 5 years ago
- Flow is a website that lets you plan courses with friends.☆234Updated 2 years ago
- @twosigma's first artificial intelligence programming challenge☆196Updated 6 years ago
- Links to publicly available preprints for the POPL'16 conference☆120Updated 8 years ago
- A tool that lets you communicate in LaTeX to your friends over Facebook chat.☆22Updated 9 years ago
- twitter clone in haskell☆12Updated 9 years ago
- A quine generator☆313Updated 6 years ago
- pokemon-mon-mon-mon☆28Updated last year
- An automated subreddit with posts created using markov chains☆468Updated 10 years ago