litiwu / Spring-2021-Notes
i like taking notes ( "´༥`" )
☆8Updated last year
Alternatives and similar repositories for Spring-2021-Notes:
Users that are interested in Spring-2021-Notes are comparing it to the libraries listed below
- Blackboard, but better☆27Updated last year
- CSM 61A Worksheets in Latex☆13Updated this week
- code and data for https://boilergrades.com☆26Updated last week
- A complete collection of my undergraduate notes☆33Updated 2 years ago
- A starter-guide for all things at UT Dallas☆26Updated 3 years ago
- Yet another plugin tutorial, this time as an exercise for 598☆38Updated last year
- uwcsc moderated open contribution job board for internships and other job searching resources for the 2024 year☆56Updated 10 months ago
- GoNative project: formal machines models in Coq☆36Updated 7 years ago
- ☆10Updated 2 months ago
- ☆19Updated 3 years ago
- The open-source degree planner for UNSW students. Features an interactive drag-and-drop interface for easy term planning and automatic pr…☆59Updated this week
- A walkthrough of personal-finance issues for young people with tech careers, complete with clearly-marked referral promotion opportunitie…☆95Updated 3 years ago
- Static Analysis Framework for Modular Analyses☆12Updated this week
- A digital archive of category theory papers.☆23Updated last year
- An all-in-one hackathon judging platform, created with modern technologies aimed at optimizing the user experience of hackers, judges, an…☆6Updated last month
- ☆16Updated 8 months ago
- Verifying the optimization phases of the GraalVM compiler☆11Updated last month
- ☆16Updated 2 years ago
- The collection of Summer 2023 Underclassman-specific internships☆59Updated 2 years ago
- Notes for the Lectures of Year 2 Computing 2021-22☆40Updated last year
- ☆12Updated this week
- The central API for Nebula Labs. Makes UTD data easily available through endpoints for both internal and public usage.☆27Updated this week
- ☆7Updated 11 months ago
- antifunext☆31Updated 7 months ago
- Did someone say... scuffed UCSD historical enrollment data?☆42Updated this week
- We combat sloppy arguments in competitive programming and raise the standard of rigor☆22Updated 2 months ago
- ☆48Updated 10 months ago
- Ltac2 tutorial☆43Updated 2 years ago
- Proxy specifically available for AP scores to enable simple early access to your scores without any storing of your College Board account…☆108Updated 2 years ago
- Coq code formatter☆22Updated this week