magicicada / cpLinks
☆21Updated last month
Alternatives and similar repositories for cp
Users that are interested in cp are comparing it to the libraries listed below
Sorting:
- Discord Bot that moderates Harassment along with Toxicity and Depressive Behavior☆12Updated 4 months ago
- Resources for the UQCS competitive programming group☆20Updated last week
- Notes for the Lectures of Year 2 Computing 2021-22☆42Updated 2 years ago
- Tutorial Questions for the Programming II course at Imperial College London☆52Updated 2 years ago
- A selection of textbook-like course notes for the Imperial College Computing modules.☆84Updated last year
- Templates and generic advice for CS310 etc.☆39Updated last month
- ☆23Updated 2 years ago
- ☆23Updated last week
- Notes for first year Computing at Imperial College London☆53Updated 3 years ago
- Clustering notions for the knowledge LaTeX package☆18Updated 3 months ago
- ☆337Updated last week
- run and encode simple register machine programs☆15Updated 4 years ago
- Starter SDK for full-stack EVM applications, built for TreeHacks 2025 Web3 Workshop☆13Updated 7 months ago
- Dashboard for managing puzzles and tracking status during a puzzle hunt☆32Updated 4 months ago
- Lecture course on verified Functional Data Structures☆28Updated 5 years ago
- 🎄❄️Advent of Code solutions in Haskell 🎅🎁☆10Updated 8 months ago
- A program for making zooming slides in figma.☆38Updated 2 months ago
- HoTTEST Summer School materials☆311Updated 3 months ago
- the fibonacci only you would give me☆16Updated 2 months ago
- A better version of KU's course catalogue☆21Updated last week
- Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…☆308Updated last year
- An open-source course on constraint solving☆24Updated 2 months ago
- Repositorio de la optativa para la FCEIA☆15Updated 5 months ago
- Browser extension for VVZ (ETHZ)☆11Updated 2 months ago
- ☆233Updated last year
- Haskell implementation of open games☆175Updated 7 months ago
- Tree Proof Generator☆172Updated 6 months ago
- ☆11Updated 4 months ago
- Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and t…☆61Updated 6 years ago
- A collection of formalized statements of conjectures in Lean.☆625Updated this week