List of projects and Discussion Repos for Github Classrooms
☆29May 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
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
- 华南师范大学Beamer模板☆15Nov 11, 2020Updated 5 years ago
- 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 4 years ago
- ☆22Aug 7, 2022Updated 3 years ago
- ☆47Aug 30, 2024Updated last year
- SCNU本科学位论文和幻灯片模板☆41Apr 27, 2024Updated last year
- The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.☆59Oct 10, 2025Updated 4 months ago
- ☆86Jan 20, 2026Updated last month
- 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
- Discord Desktop App that blocks most Discord Tracking/Analytics☆32Jun 18, 2024Updated last year
- ⚡️ A blazing fast link shortener powered by Next.js and DNS magic!☆41Jan 10, 2021Updated 5 years ago
- 📖 0xFFFF CS Wiki 独立站点（施工中...）☆83Nov 15, 2025Updated 3 months ago
- 🚂 The Hacker Zephyr: A cross-country hackathon on a train! This repo: all of our planning documents, finances, and code open sourced.☆89Jul 6, 2022Updated 3 years ago
- ☆91Aug 18, 2025Updated 6 months ago
- 📂 All our website insides for free.☆81Aug 1, 2025Updated 7 months ago
- ntype cafe summer school resources☆146Jun 16, 2024Updated last year
- 一本工具指南和开箱即用配置，旨在让大家选用和上手合适的工具。☆154Jun 4, 2023Updated 2 years ago
- This is an auto-generated repository from the whole source code, without reference solution source codes.☆151Mar 16, 2025Updated 11 months ago
- Zotero 中文用户文档、中文开发文档、CSL 文档中文译文☆197Updated this week
- Universal toplevel for OCaml☆907Aug 12, 2025Updated 6 months ago
- OCaml debug adapter☆231Feb 25, 2026Updated last week
- Lock-free data structures for multicore OCaml☆263May 23, 2025Updated 9 months ago
- 《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版☆220Updated this week
- illustrate QUIC, TLS 1.2, TLS 1.3, DTLS 中文翻译☆224Jan 9, 2026Updated last month
- ☆168Oct 25, 2020Updated 5 years ago
- 南京大学学位论文 Typst 模板 modern-nju-thesis☆234Jan 5, 2026Updated last month
- An attempt at a new LWE estimator☆344Feb 23, 2026Updated last week
- Code coverage for OCaml and ReScript☆315Oct 12, 2025Updated 4 months ago
- MLH Hackathon Organizer Guide☆341Feb 14, 2026Updated 2 weeks ago
- EasyCrypt: Computer-Aided Cryptographic Proofs☆382Updated this week
- A list of handy resources☆333Oct 23, 2020Updated 5 years ago
- ☆375Jul 7, 2022Updated 3 years ago
- Main source code repository of the Tamarin prover for security protocol verification.☆506Updated this week
- Quant prep resources/logs☆592Sep 6, 2025Updated 5 months ago
- A detailed Discord data package explorer designed to help users visualize the data Discord collects.☆536Jan 30, 2026Updated last month
- A compiler for homomorphic encryption☆685Updated this week
- 🎶 Ultimate lyrics app for macOS.☆750Jan 20, 2026Updated last month
- Carefully crafted components that strive for a native look & feel. The perfect starting point for those that need to ship fast, and look …☆727Oct 9, 2025Updated 4 months ago