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☆97Updated last year
- Jekyll in Haskell (feat. LaTeX)☆93Updated 8 years ago
- Women in Programming Languages and Software Engineering Research☆173Updated 10 months ago
- This is the course content for CS 190 in the Fall 2016 semester.☆80Updated 8 years ago
- Documentation for University of Waterloo API☆238Updated 5 years ago
- Or: How I Learned to Stop Worrying and Love the Greenback☆173Updated 2 years ago
- SOC HYP Final Report Boilerplate for LaTeX☆14Updated 10 years ago
- Course notes for the University of Waterloo☆28Updated 6 years ago
- Flow is a website that lets you plan courses with friends.☆234Updated 2 years ago
- Homebrew formulae for formal methods☆37Updated 2 months ago
- A Coq IDE build on top of Proof General's Coq mode☆358Updated 2 months ago
- Notes for CSC373 taken during Winter 2017 at the University of Toronto, St George Campus.☆41Updated 8 years ago
- Open data APIs for interfacing with public information from the University of Toronto.☆98Updated 5 years ago
- The back-end services supporting HackIllinois (deprecated)☆13Updated 7 years ago
- A website for softies.☆10Updated 3 years ago
- A repo for a Program and Data Representation university-level course☆38Updated 7 years ago
- A javascript app to show your google location history as a heatmap☆22Updated 10 years ago
- Main repository for Harvard CS260r 2017.☆12Updated 8 years ago
- 10 papers that all PhD students in programming languages ought to know, for some value of 10☆908Updated 5 years ago
- iOS, Android, web, hardware, bots...you name it, there's a meetup for you!☆184Updated 2 years ago
- Style package for directly including color emojis in latex documents☆223Updated 6 years ago
- Links to publicly available preprints for the POPL'16 conference☆120Updated 8 years ago
- Quickly download past CS exams with solutions!☆22Updated 9 years ago
- Styles for LaTeX, beamer for Chalmers University of Technology☆47Updated 7 years ago
- Travis CI and deployment service to build PDF from LaTeX document.☆170Updated 4 years ago
- This repo is the new home of Proof General☆539Updated last month
- LaTeX class for writing work reports for the University of Waterloo.☆75Updated 10 years ago
- Lecture material for DeepSpec Summer School 2017☆89Updated 4 years ago