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:
- Contains everything related to Hack Club's Summer of Making!☆11Jun 19, 2020Updated 5 years ago
- Personal website. There are many like it, but this one is mine.☆11Mar 2, 2023Updated 3 years ago
- ☆10May 27, 2025Updated 11 months ago
- A little gathering place for my PCBs. This is their favourite hangout spot! 🪼⋆.ೃ࿔*:･☆43Feb 3, 2026Updated 3 months ago
- University of Maryland CMSC351 Algorithms Spring 2016 Full Lecture Notes in Latex with accompanying style package☆75Jan 15, 2018Updated 8 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Something about C language.☆10Nov 13, 2020Updated 5 years ago
- ☆17Sep 25, 2023Updated 2 years ago
- 🕑 A countdown chrome extension for tasks/events/whatever.☆23Nov 20, 2017Updated 8 years ago
- A simple plugin that allows you to warp 🌀, bend, and distort vector shapes in Figma.☆24Sep 6, 2021Updated 4 years ago
- a (we)bsite for us, a communal gathering place for internet dreams☆26Jan 4, 2024Updated 2 years ago
- 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.☆39Apr 23, 2026Updated last week
- 华南师范大学Beamer模板☆15Nov 11, 2020Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Lattices and Their Algorithms, Leiden, Spring 2024☆24Aug 13, 2024Updated last year
- Advent of Code 2023 in 25 interesting language specimens, A-Z☆34Dec 25, 2023Updated 2 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
- Syntax highlight component for vue-termui.☆39Dec 28, 2022Updated 3 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
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆34May 18, 2023Updated 2 years ago
- ⚡️ A blazing fast link shortener powered by Next.js and DNS magic!☆41Jan 10, 2021Updated 5 years ago
- Examples from the class CMSC 330 during Summer 2015☆49Jul 23, 2015Updated 10 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.
- This guide is what I did to get all 7 of my internships during my 4 years at university.☆36Feb 10, 2023Updated 3 years ago
- The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.☆62Mar 25, 2026Updated last month
- a community for students at the university of maryland☆48May 19, 2024Updated last year
- 📂 All our website insides for free.☆81Aug 1, 2025Updated 9 months ago
- 📖 0xFFFF CS Wiki 独立站点（施工中...）☆85Nov 15, 2025Updated 5 months ago
- 💽 Website for Hack Club workshops.☆97Updated this week
- Browser programming toolkit for OCaml☆113Jan 31, 2026Updated 3 months ago
- 🧩 Source code of the official PreMiD extension.☆72Sep 17, 2024Updated last year
- Open Thermocycler Implementation☆151Apr 15, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 一本数论、代数与算法的入门讲义.☆88Mar 8, 2026Updated last month
- ☆91Aug 18, 2025Updated 8 months ago
- The Scyther Tool for the symbolic analysis of security protocols☆107Feb 20, 2026Updated 2 months ago
- ntype cafe summer school resources☆148Jun 16, 2024Updated last year
- A toolkit for cryptanalysis using lattices.☆138Dec 2, 2023Updated 2 years ago
- Public repository for Abstact Algebra Theory and Applications☆190Apr 14, 2026Updated 3 weeks ago
- A secure, anonymous, peer-to-peer, instant messenger!☆255Apr 18, 2020Updated 6 years ago