Material developed to teach different competitive programming topics
☆17Mar 13, 2024Updated 2 years ago
Alternatives and similar repositories for subjects_material
Users that are interested in subjects_material 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 Competitive Programming notebook☆13Apr 17, 2023Updated 2 years ago
- Set up a specific version of Agda for your GitHub Actions workflow.☆29Nov 24, 2025Updated 4 months ago
- ☆145Sep 26, 2020Updated 5 years ago
- Reference del club de algoritmia☆21Feb 18, 2024Updated 2 years ago
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Jan 10, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Team notebook for ICPC. Team "UNC - Gracias Demetrio".☆209Dec 10, 2025Updated 3 months ago
- A work-in-progress core language for Agda, in Agda☆65Updated this week
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆68Oct 12, 2024Updated last year
- Unification and type inference algorithms☆127Feb 21, 2015Updated 11 years ago
- Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust☆121Sep 21, 2020Updated 5 years ago
- An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.☆152Sep 23, 2025Updated 6 months ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆216Updated this week
- Tools to manage problem packages using the Kattis problem package format.☆124Mar 18, 2026Updated last week
- A modern supercompiler for call-by-value functional languages☆468Dec 5, 2025Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆737Jan 29, 2026Updated 2 months ago
- Minimal implementations for dependent type checking and elaboration☆778Jan 30, 2026Updated last month
- Docker for Your ML/DL Models Based on OCI Artifacts☆472Jan 26, 2024Updated 2 years ago
- xdg-desktop-portal backend for Hyprland☆448Mar 15, 2026Updated 2 weeks ago
- Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.☆1,110Dec 18, 2024Updated last year
- Several algorithms and data structures implemented in C++ by me (credited to others where necessary).☆666May 23, 2022Updated 3 years ago
- Command-line tools for bibliographies.☆835Apr 8, 2025Updated 11 months ago
- An introduction to programming language theory in Agda☆1,497Updated this week
- for those seeking software engineering internships☆1,062Dec 23, 2019Updated 6 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Play chess via GitHub☆1,143Mar 22, 2026Updated last week
- A pluggable API specification generator. Currently supports the OpenAPI Specification (f.k.a. the Swagger specification)..☆1,219Mar 16, 2026Updated 2 weeks ago
- 🎧 Soothing pastel theme for Spotify☆588Oct 22, 2025Updated 5 months ago
- Flat Remix is a GNOME Shell theme inspired by material design. It is mostly flat using a colorful palette with some shadows, highlights, …☆1,632Sep 26, 2025Updated 6 months ago
- ☆1,661Dec 24, 2023Updated 2 years ago
- A collection of spicetify custom apps to improve your spotify experience.☆629Feb 26, 2026Updated last month
- Universal Wayland Session Manager☆1,020Feb 19, 2026Updated last month
- GTK3 settings editor adapted to work in the wlroots environment☆922Aug 21, 2025Updated 7 months ago
- codes for my streams and YT videos☆2,785Jul 16, 2025Updated 8 months ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- A wayland based logout menu☆998Jul 4, 2024Updated last year
- Wayland clipboard manager with support for multimedia☆1,384Mar 22, 2026Updated last week
- Examples of how to create colorful, annotated equations in Latex using Tikz.☆3,896Jul 12, 2022Updated 3 years ago
- Hyprland's GPU-accelerated screen locking utility☆1,516Mar 23, 2026Updated last week
- JunoDB is PayPal's home-grown secure, consistent and highly available key-value store providing low, single digit millisecond, latency at…☆2,644Jun 21, 2024Updated last year
- 100 data puzzles for pandas, ranging from short and simple to super tricky (60% complete)☆2,922Jul 10, 2024Updated last year
- Download extensions and themes directly from Spicetify☆1,455Mar 6, 2026Updated 3 weeks ago