A repository to host students resolutions of programming contest problems.
☆10Mar 29, 2017Updated 9 years ago
Alternatives and similar repositories for feup-contests
Users that are interested in feup-contests are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Jan 7, 2023Updated 3 years ago
- A new take on facet-reflect☆14Oct 16, 2026Updated last week
- Twitter Sentiment System for SemEval 2016☆11Mar 4, 2016Updated 10 years ago
- SImple example using socket.io. Broadcast tones, play piano in remote computers.☆20Mar 22, 2012Updated 14 years ago
- Amazfit PACE Watch Sport Activity Exporter☆13Aug 6, 2017Updated 9 years ago
- 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.
- DEDISbench: A disk I/O block-based benchmark for deduplication systems. Unlike other existing benchmarks, written content is generated i…☆14Jul 22, 2021Updated 5 years ago
- Image Processing Library (for now Color Bleeding to remove artifacts when using sprites)☆20May 25, 2016Updated 10 years ago
- Verus-verified implementation of Ironfleet Sharded Hash Table key-value store☆12Sep 22, 2026Updated last month
- My very own solutions to various online coding challenges☆22Jul 8, 2026Updated 3 months ago
- Lean playground for programming language modeling tooling.☆15May 20, 2026Updated 5 months ago
- Licensed under the GPL. Have fun modifying and distributing it!☆20Feb 16, 2015Updated 11 years ago
- A client-side dashboard☆61Aug 19, 2016Updated 10 years ago
- ☆20May 18, 2012Updated 14 years ago
- Verifying the SCION architecture using Gobra☆12Sep 22, 2026Updated last month
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- medium inspired theme for hakyll☆10Jul 27, 2021Updated 5 years ago
- 📥 Game Tracker: Artifact Foundry☆11Mar 16, 2021Updated 5 years ago
- UTorrentClient Api is an extensible set of classes that use WebUI to manipulate µTorrent remotely.☆18Jun 22, 2022Updated 4 years ago
- A Haskell implementation of the Formality language☆19Mar 9, 2020Updated 6 years ago
- HTTP server that manages verification requests to different tools from the Viper tool stack.☆16Oct 21, 2026Updated last week
- VSCode Plugin for Gobra☆11Updated this week
- IDE Integration of Facebook Infer☆14Nov 9, 2022Updated 3 years ago
- Loopback mount utility using FUSE☆22Dec 4, 2023Updated 2 years ago
- Compositional Verification of Composite Byzantine Protocols☆13Aug 24, 2024Updated 2 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.
- Co-inductive datatypes for Lean☆18Oct 15, 2026Updated 2 weeks ago
- 📆 Sigarra Tools | An extension that makes the information system of the University of Porto slightly better.☆38Jan 6, 2023Updated 3 years ago
- My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.☆14Aug 3, 2019Updated 7 years ago
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated 2 years ago
- Verifier for effectful, higher-order programs☆19Jul 1, 2026Updated 3 months ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆13Feb 7, 2025Updated last year
- Simple browser extension to extract Spotify's information from album pages in a specific JSON object.☆17Apr 8, 2026Updated 6 months ago
- ☆22Oct 12, 2026Updated 2 weeks ago
- Some C templates/examples for UNIX programming☆12Mar 18, 2024Updated 2 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.
- Command line interface client to RFQuack dongles☆10Sep 23, 2022Updated 4 years ago
- The Duell Tool is a command line tool for setting up, building and running applications on any platform.☆41Oct 13, 2017Updated 9 years ago
- Website where portuguese political controversies can be seen on a calendar to allow seeing it in a bigger picture.☆14Jan 11, 2023Updated 3 years ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Feb 14, 2024Updated 2 years ago
- Collection of all the competitive programming competitions I partook in.☆16Dec 12, 2025Updated 10 months ago
- C data structures and algorithms library☆17Jun 27, 2023Updated 3 years ago
- pyAirwaves is an ADS-B and AIS processing, storage (planned), and display application with Leaflets integration.☆11Nov 8, 2022Updated 3 years ago