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:
- Notebook for programming competitions - Universidad Nacional de Colombia - Bogotá.☆33Nov 10, 2020Updated 5 years ago
- Set up a specific version of Agda for your GitHub Actions workflow.☆32Nov 24, 2025Updated 6 months 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
- Solutions to problems from the UVa Online Judge.☆35May 29, 2023Updated 3 years ago
- Team notebook for ICPC. Team "UNC - Gracias Demetrio".☆211May 15, 2026Updated last month
- 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.
- A work-in-progress core language for Agda, in Agda☆67Updated this week
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆70Oct 12, 2024Updated last year
- Unification and type inference algorithms☆127Feb 21, 2015Updated 11 years ago
- Notebook for INSA Lyon teams at ACM ICPC 2017. Ideas and sources are mainly from Razvan Stancioiu and the Stanford University ACM team.☆46Oct 7, 2018Updated 7 years ago
- Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust☆123Sep 21, 2020Updated 5 years ago
- An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.☆153Sep 23, 2025Updated 8 months ago
- The cuteness implementation of a dependently typed language.☆194Dec 13, 2022Updated 3 years ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆221Jun 12, 2026Updated last week
- (Auto) generate notebooks from your source code. Useful for ACM-ICPC☆135Jan 21, 2026Updated 4 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- BreezeX RosePine for Hyprcursor☆144May 24, 2025Updated last year
- Soho vibes for Cursors☆177Nov 5, 2025Updated 7 months ago
- A modern supercompiler for call-by-value functional languages☆479Dec 5, 2025Updated 6 months ago
- SnapDragon's solutions for the ACM ICPC World Finals problems.☆388Sep 4, 2025Updated 9 months ago
- VIP cheatsheets for Stanford's CME 106 Probability and Statistics for Engineers☆869Sep 9, 2020Updated 5 years ago
- xdg-desktop-portal backend for Hyprland☆461May 30, 2026Updated 2 weeks ago
- 🌻 Soothing pastel theme for Hyprland☆428May 25, 2026Updated 3 weeks ago
- Several algorithms and data structures implemented in C++ by me (credited to others where necessary).☆665May 23, 2022Updated 4 years ago
- An introduction to programming language theory in Agda☆1,512Jun 8, 2026Updated last week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Automatically generates native code for adding splash screens in Android and iOS. Customize with specific platform, background color and …☆1,465May 29, 2026Updated 3 weeks ago
- Django customer management platform☆583Jan 29, 2026Updated 4 months ago
- A pluggable API specification generator. Currently supports the OpenAPI Specification (f.k.a. the Swagger specification)..☆1,220Updated this week
- 🐁 Soothing pastel cursors for GTK/Plasma/Hyprland☆725Apr 30, 2026Updated last month
- GTK3 settings editor adapted to work in the wlroots environment☆959May 26, 2026Updated 3 weeks ago
- codes for my streams and YT videos☆2,801Jul 16, 2025Updated 11 months ago
- Motor - the async Python driver for MongoDB and Tornado or asyncio☆2,530Updated this week
- A collection of resources for learning type theory and type theory adjacent fields.☆2,471Apr 21, 2025Updated last year
- A wayland based logout menu☆1,031Jul 4, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Goverlay is an easy graphical interface to configure linux gaming applications☆1,346Updated this week
- Codeforces CLI (Submit, Parse, Test, etc.). Support Contests, Gym, Groups, acmsguru, Windows, macOS, Linux, 7 MB☆1,384Jul 30, 2024Updated last year
- Wayland clipboard manager with support for multimedia☆1,469Jun 8, 2026Updated last week
- The Elegant Parser☆5,353Jun 9, 2026Updated last week
- A Flutter package to make and use beautiful color scheme based themes.☆1,185Jan 6, 2026Updated 5 months ago
- An awesome list that curates the best Flame games, projects, libraries, tools, tutorials, articles and more.☆1,360Jun 8, 2026Updated last week
- A collection of Jupyter notebooks showing how to use the Qiskit SDK☆2,525Aug 21, 2023Updated 2 years ago