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☆99Updated 2 years ago
- Jekyll in Haskell (feat. LaTeX)☆93Updated 8 years ago
- A Coq IDE build on top of Proof General's Coq mode☆356Updated 4 months ago
- Tired of needing to come up with synonyms for 'Therefore,' in your mathematical writing? Ponder no longer! This LaTeX package provides a …☆201Updated 8 years ago
- iOS, Android, web, hardware, bots...you name it, there's a meetup for you!☆186Updated 2 years ago
- Women in Programming Languages and Software Engineering Research☆173Updated last week
- A website for softies.☆10Updated 3 years ago
- The grand wiki☆55Updated 10 years ago
- Documentation for University of Waterloo API☆236Updated 5 years ago
- ☆30Updated 8 years ago
- Notes for CSC373 taken during Winter 2017 at the University of Toronto, St George Campus.☆41Updated 8 years ago
- A queue to help manage office hours for large courses☆86Updated 2 months ago
- Styles for LaTeX, beamer for Chalmers University of Technology☆47Updated 7 years ago
- This repo is the new home of Proof General☆542Updated last week
- Script for connecting to NUwave from linux☆21Updated 12 years ago
- Interactive theorem proving with Coq in vim.☆185Updated 5 years ago
- Or: How I Learned to Stop Worrying and Love the Greenback☆174Updated 3 years ago
- An unofficial handbook for tech and more specifically, UC Davis computer science students☆11Updated 8 years ago
- A python script that helps students study throughout the semester, instead of having to cram before exams.☆60Updated 4 years ago
- Real-time application to sign up for and manage TA hours.☆95Updated 3 years ago
- LaTeX class and template for typesetting math homework☆96Updated 4 years ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆535Updated 7 months ago
- Style checker for latex documents☆50Updated 2 years ago
- Convert Haskell source code to Coq source code☆282Updated 5 years ago
- Quickly download past CS exams with solutions!☆22Updated 9 years ago
- A javascript app to show your google location history as a heatmap☆22Updated 10 years ago
- Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]☆96Updated last week
- the rules, tips, and tricks I've learned on how to approach tech internships☆584Updated 2 years ago