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
  ☆92Updated last year
• markfloryan / pdr
  A repo for a Program and Data Representation university-level course
  ☆38Updated 6 years ago
• mhacks / mhacks-android
  The official MHacks Android App
  ☆21Updated 5 years ago
• ymichael / soc-hyp-boilerplate
  SOC HYP Final Report Boilerplate for LaTeX
  ☆14Updated 10 years ago
• DavisCSClub / Handbook
  An unofficial handbook for tech and more specifically, UC Davis computer science students
  ☆11Updated 8 years ago
• clowdr-app / clowdr-web-app
  Old Clowdr versions 1 & 2 from 2020
  ☆36Updated 4 years ago
• sholiday / Unofficial-Waterloo-USA-Intern-Guide
  Or: How I Learned to Stop Worrying and Love the Greenback
  ☆172Updated 2 years ago
• Purdue-CSUSB / CS-190-F2016
  This is the course content for CS 190 in the Fall 2016 semester.
  ☆80Updated 8 years ago
• skbaek / Ethics
  I.I-XI of Spinoza's Ethics, formalized in Coq
  ☆18Updated 9 years ago
• 2016rshah / heckle
  Jekyll in Haskell (feat. LaTeX)
  ☆93Updated 7 years ago
• hackwaly / vscode-ocaml
  An extension for VS Code which provides support for the OCaml language.
  ☆170Updated 4 years ago
• realworldocaml / examples
  All the examples in Real World OCaml
  ☆376Updated last year
• DeepSpec / dsss18
  Lecture material for DeepSpec Summer School 2018
  ☆68Updated 6 years ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 4 years ago
• yallop / fomega
  System Fω interpreter for use in Advanced Functional Programming course
  ☆65Updated last year
• its007Kevin / UWranks
  A social network for co-op students at the University of Waterloo to share their rankings with each other.
  ☆9Updated 2 years ago
• oskibear2015 / berkeleyeecs
  eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs ee…
  ☆31Updated 8 years ago
• nmoroze / kronos
  My MEng thesis code - verifying a security property for an SoC with Rosette
  ☆17Updated 3 years ago
• jeanqasaur / women-in-programming-languages-research
  Women in Programming Languages and Software Engineering Research
  ☆169Updated 4 months ago
• battlecode / battlecode-scaffold-2017
  A scaffold for players of battlecode 2017
  ☆31Updated 7 years ago
• the-lambda-church / coquille
  Interactive theorem proving with Coq in vim.
  ☆185Updated 4 years ago
• hackatbrown / 2015.hackatbrown.org
  Website for Hack@Brown 2015.
  ☆20Updated 9 years ago
• JasonGross / coq-tools
  Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.
  ☆42Updated 3 weeks ago
• alangpierce / TheProofIsTrivial
  Math-themed single-serving site
  ☆46Updated 3 years ago
• seductivegeese / softi.es
  A website for softies.
  ☆10Updated 3 years ago
• cszhu / seattleBucketList
  The quintessential Seattle bucket list for summer interns
  ☆43Updated 7 years ago
• reactive-systems / syfco
  Synthesis Format Conversion Tool
  ☆24Updated 8 months ago
• dannybd / courseroad
  CourseRoad is a four-year academic planner for undergraduates.
  ☆62Updated 6 years ago