List of projects and Discussion Repos for Github Classrooms
☆28May 10, 2023Updated 2 years ago
Alternatives and similar repositories for spring23
Users that are interested in spring23 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Personal website. There are many like it, but this one is mine.☆11Mar 2, 2023Updated 3 years ago
- The Coding Interview☆11Dec 7, 2017Updated 8 years ago
- 🌐 My personal website☆10Oct 16, 2025Updated 5 months ago
- ☆10May 27, 2025Updated 10 months ago
- Something about C language.☆10Nov 13, 2020Updated 5 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- LED matrix that displays and automatically updates current spotify activity☆13Mar 23, 2022Updated 4 years ago
- ☆17Sep 25, 2023Updated 2 years ago
- 🕑 A countdown chrome extension for tasks/events/whatever.☆23Nov 20, 2017Updated 8 years ago
- Download and view npm package contents online☆18Apr 1, 2026Updated 2 weeks ago
- Elliptic curve mathematics including Tate and Weil pairings for BLS signatures and zk-SNARK algorithms.☆20Feb 24, 2025Updated last year
- Lecture Notes for CMSC132: Object Oriented Programming II☆40Aug 11, 2023Updated 2 years ago
- Accompanying source code for examples from the book "Implementing and Exploiting Cryptography"☆23Aug 30, 2024Updated last year
- Hack Club's PostgreSQL-based shortlink router. Now running serverlessly!☆39Apr 8, 2026Updated last week
- A sibling project/rewrite of VueTube providing a more native and fluid experience☆16Jul 18, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 华南师范大学Beamer模板☆15Nov 11, 2020Updated 5 years ago
- A verified polyhedral scheduling validator in Coq. Vibing proving in progress: https://github.com/Hughshine/PolCert/tree/extractor. Codex…☆23Mar 9, 2026Updated last month
- My personal portfolio website☆19Oct 19, 2023Updated 2 years ago
- Analyzing the gun lobby’s funding of Congress.☆31Feb 21, 2024Updated 2 years ago
- 📚crowdsource resources for web development☆23Jul 21, 2020Updated 5 years ago
- ☆22Aug 7, 2022Updated 3 years ago
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆51Feb 23, 2026Updated last month
- ⚡️ A blazing fast link shortener powered by Next.js and DNS magic!☆41Jan 10, 2021Updated 5 years ago
- Oblivious Pseudorandom Functions (OPRFs) using Prime-Order Groups☆39Sep 10, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Fall 2020 This course will cover the basics of setting up and administering a production-quality Linux server environment. By the end of…☆27Mar 24, 2021Updated 5 years ago
- Discord Desktop App that blocks most Discord Tracking/Analytics☆33Jun 18, 2024Updated last year
- Starter code for Fall 22☆24Nov 7, 2022Updated 3 years ago
- The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.☆61Mar 25, 2026Updated 3 weeks ago
- A core API library for VueTube☆55Aug 14, 2023Updated 2 years ago
- I answered all the programming problems in the textbook: Pointers On C (Kenneth A. Reek)☆57Jul 19, 2017Updated 8 years ago
- First-class custom ROM integration service for my Repainter app☆66Feb 9, 2022Updated 4 years ago
- 🚂 The Hacker Zephyr: A cross-country hackathon on a train! This repo: all of our planning documents, finances, and code open sourced.☆90Jul 6, 2022Updated 3 years ago
- 📂 All our website insides for free.☆81Aug 1, 2025Updated 8 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 📖 0xFFFF CS Wiki 独立站点（施工中...）☆83Nov 15, 2025Updated 5 months ago
- Browser programming toolkit for OCaml☆113Jan 31, 2026Updated 2 months ago
- 🧩 Source code of the official PreMiD extension.☆72Sep 17, 2024Updated last year
- [译] UCB CS61a SICP Python 描述 中文版☆86Jan 7, 2021Updated 5 years ago
- 一本数论、代数与算法的入门讲义.☆87Mar 8, 2026Updated last month
- AI 学习之旅☆105Jul 24, 2025Updated 8 months ago
- Software Foundations☆152Apr 30, 2024Updated last year