OpenSourceCornell / awesome-cornellLinks
Awesome Projects @ Cornell
☆14Updated 7 years ago
Alternatives and similar repositories for awesome-cornell
Users that are interested in awesome-cornell are comparing it to the libraries listed below
Sorting:
- C0rn3LL 4 L337 H4xx0rz☆36Updated 2 years ago
- Informational Android app for Cornell University.☆14Updated 7 years ago
- Student-run wiki for students interested in computer science at Cornell University☆95Updated last year
- Jekyll in Haskell (feat. LaTeX)☆93Updated 7 years ago
- SOC HYP Final Report Boilerplate for LaTeX☆14Updated 10 years ago
- All the examples in Real World OCaml☆377Updated last year
- Simple webapp (Google Appengine) to convert UIUC course listings into importable calendar files☆23Updated 4 years ago
- A Coq IDE build on top of Proof General's Coq mode☆356Updated 3 weeks ago
- A website for softies.☆10Updated 3 years ago
- Quickly download past CS exams with solutions!☆22Updated 9 years ago
- A database that tracks of all the receptions and events going at Grace Hopper '16.☆44Updated 8 years ago
- LaTeX class for writing work reports for the University of Waterloo.☆30Updated 11 years ago
- iOS, Android, web, hardware, bots...you name it, there's a meetup for you!☆180Updated 2 years ago
- University of Edinburgh Programming Club☆56Updated 4 years ago
- Course Homepage for Computing for Computer Scientists☆47Updated 5 years ago
- UIUC API for various university services.☆26Updated 8 years ago
- InFuture's Website for 2015☆10Updated 9 years ago
- An officially unofficial Orbital project that meets the intermediate (Gemini) achivement level, created in one day☆18Updated 8 years ago
- Notes for CSC373 taken during Winter 2017 at the University of Toronto, St George Campus.☆41Updated 8 years ago
- Women in Programming Languages and Software Engineering Research☆172Updated 7 months ago
- Open data APIs for interfacing with public information from the University of Toronto.☆99Updated 5 years ago
- Jane Street Capital's standard library overlay☆1,152Updated last month
- Context sensitive completion for OCaml in Vim and Emacs☆1,634Updated 2 weeks ago
- The back-end services supporting HackIllinois (deprecated)☆13Updated 7 years ago
- ☆195Updated 5 years ago
- Documentation for University of Waterloo API☆237Updated 4 years ago
- Interactive theorem proving with Coq in vim.☆185Updated 4 years ago
- Your Semester Made Easier | Course Scheduling & Social Tools for Students☆94Updated last year
- Stores content in a YAML file and uses Ruby's ERB templating system to handle format and layout.☆35Updated 11 months ago
- Alistair Moffat fan page☆16Updated 2 years ago