Alternatives and similar repositories for awesome-cornell

Users that are interested in awesome-cornell are comparing it to the libraries listed below

• mrkev / cornell
  C0rn3LL 4 L337 H4xx0rz
  ☆36Updated 2 years ago
• TrevorEdwards / bigredapp-android
  Informational Android app for Cornell University.
  ☆14Updated 7 years ago
• CornellCSWiki / CornellCSWiki
  Student-run wiki for students interested in computer science at Cornell University
  ☆97Updated 2 years ago
• 2016rshah / heckle
  Jekyll in Haskell (feat. LaTeX)
  ☆93Updated 8 years ago
• jeanqasaur / women-in-programming-languages-research
  Women in Programming Languages and Software Engineering Research
  ☆173Updated 11 months ago
• cpitclaudel / company-coq
  A Coq IDE build on top of Proof General's Coq mode
  ☆356Updated 2 months ago
• UWFlow / rmc
  Flow is a website that lets you plan courses with friends.
  ☆234Updated 2 years ago
• signmeup / signmeup
  Real-time application to sign up for and manage TA hours.
  ☆95Updated 3 years ago
• mhyee / resume
  Stores content in a YAML file and uses Ruby's ERB templating system to handle format and layout.
  ☆34Updated last year
• readablesystems / cs260r-17
  Main repository for Harvard CS260r 2017.
  ☆12Updated 8 years ago
• reactive-systems / syfco
  Synthesis Format Conversion Tool
  ☆26Updated last month
• uWaterloo / api-documentation
  Documentation for University of Waterloo API
  ☆237Updated 5 years ago
• anishathalye / gavel
  A project expo judging system 📊
  ☆468Updated last week
• Purdue-CSUSB / CS-190-F2016
  This is the course content for CS 190 in the Fall 2016 semester.
  ☆80Updated 8 years ago
• cucapra / styleguide
  rules for writing and typesetting
  ☆25Updated 4 years ago
• jeanqasaur / against-junior-faculty-stress
  ☆68Updated 8 years ago
• mlr-msft / vim-loves-dafny
  a vim plugin for Dafny, a verified programming language.
  ☆21Updated 7 years ago
• rrdelaney / material-resume
  A fancy resume template
  ☆181Updated 8 years ago
• boogie-org / boogie-friends
  Tools for interacting with Boogie
  ☆49Updated 7 months ago
• cs3157 / recitations
  Recitation notes for cs3157, the C systems programming course with a narrative
  ☆301Updated 3 years ago
• kcbanner / uw-wkrpt
  LaTeX class for writing work reports for the University of Waterloo.
  ☆75Updated 10 years ago
• iyzhang / superhero-network
  An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.
  ☆107Updated last year
• nspring / style-check
  Style checker for latex documents
  ☆50Updated 2 years ago
• v / sniper
  A web application that watches a class at Rutgers and notifies you when it opens up.
  ☆58Updated 7 years ago
• sdulal / cs-exams-downloader
  Quickly download past CS exams with solutions!
  ☆22Updated 9 years ago
• the-lambda-church / coquille
  Interactive theorem proving with Coq in vim.
  ☆185Updated 5 years ago
• KIT-TVA / CorC
  Tool Support for Correctness-by-Construction
  ☆29Updated 2 weeks ago
• mht208 / homebrew-formal
  Homebrew formulae for formal methods
  ☆37Updated 3 months ago
• christhomson / lecture-notes
  LaTeX notes for a few courses I've taken at the University of Waterloo.
  ☆51Updated 7 years ago
• sholiday / Unofficial-Waterloo-USA-Intern-Guide
  Or: How I Learned to Stop Worrying and Love the Greenback
  ☆173Updated 3 years ago