pocs-epfl / publicView external linksLinks
POCS materials for the public
☆26Dec 17, 2025Updated last month
Alternatives and similar repositories for public
Users that are interested in public are comparing it to the libraries listed below
Sorting:
- An android application that notifies and guides qualified users to provide medical assistance in the area.☆10Jun 13, 2022Updated 3 years ago
- A repository for the CS-306 Software Development Project class at EPFL.☆13Jun 9, 2022Updated 3 years ago
- Bolts: Stainless Verified Scala Examples☆29Feb 5, 2026Updated last week
- Website for LauzHack, EPFL's largest hackathon.☆11Dec 23, 2025Updated last month
- Generic library for neural collapse and several derivative works on the phenomenon.☆18Apr 14, 2025Updated 10 months ago
- ☆12Mar 17, 2025Updated 10 months ago
- Parallel Self-Adjusting Computation☆15Jul 5, 2021Updated 4 years ago
- ☆11Mar 8, 2025Updated 11 months ago
- ☆10Feb 5, 2026Updated last week
- TASTy Migration Manager☆12Oct 9, 2025Updated 4 months ago
- Template for my talks☆10May 1, 2018Updated 7 years ago
- ☆13May 11, 2023Updated 2 years ago
- Main repository of the Vigor NF verification project.☆48Mar 6, 2021Updated 4 years ago
- Compiler Construction course project☆10May 6, 2017Updated 8 years ago
- Websites for your archives, served directly from your archive.org item.☆13Sep 7, 2020Updated 5 years ago
- Lamport and Vector clocks☆12Sep 10, 2015Updated 10 years ago
- Versor: Stop Projecting, Start Rotating. GBN (Geometric Blade Network) - A new era of AI beyond Linear Algebra.☆41Updated this week
- OPENED Tool to extract specific eBPF functions from large monoliths (tested on Katran, Mizar, Cilium..)☆14Jun 27, 2023Updated 2 years ago
- Converter from SQL to Cypher.☆13Jul 31, 2024Updated last year
- ☆15Mar 13, 2016Updated 9 years ago
- Website for CSE 234, Winter 2025☆13Mar 24, 2025Updated 10 months ago
- Useful tools to drive personal daily work.☆14Nov 29, 2024Updated last year
- A gradle plugin for convenient use of elm☆10Dec 23, 2019Updated 6 years ago
- WOOT and CRDTs for Kotlin☆13Nov 13, 2018Updated 7 years ago
- ☆13Oct 26, 2020Updated 5 years ago
- Hal Daume's hbc☆20Jan 23, 2010Updated 16 years ago
- ☆12Jan 9, 2024Updated 2 years ago
- A distributed database service for the Concordant platform.☆13Sep 17, 2022Updated 3 years ago
- Full source build of Android stuff.☆21Dec 14, 2011Updated 14 years ago
- Software Engineering course materials from EPFL☆109Dec 26, 2025Updated last month
- ☆52Oct 10, 2024Updated last year
- ☆17Jun 9, 2024Updated last year
- An Attention Superoptimizer☆22Jan 20, 2025Updated last year
- Main repository for RES 2020 @ HEIG-VD☆12Jun 18, 2020Updated 5 years ago
- Main repo for AMT, 2020 edition☆10Dec 2, 2020Updated 5 years ago
- A Collection of Parallel Algorithms for Computational Geometry☆12Mar 10, 2022Updated 3 years ago
- Generate static values from resources for compile time safety and performance improvements☆10May 1, 2017Updated 8 years ago
- GitHub Package Registry template for a maven package☆12Oct 18, 2019Updated 6 years ago
- ☆13Apr 10, 2025Updated 10 months ago