piskoviste / pisekLinks
Tool for developing tasks for programming competitions.
☆16Updated 3 weeks ago
Alternatives and similar repositories for pisek
Users that are interested in pisek are comparing it to the libraries listed below
Sorting:
- #SharingIsCaring #CaringIsSharing☆86Updated 5 months ago
- A slightly improved variant of the official thesis sample☆30Updated last year
- Kolekce Anki balíčků k různým předmětům na MFF (informatika).☆13Updated last year
- A wiki for collaborative work on totally legitimate "category theory"☆114Updated last year
- Opinionated tips for writing and typesetting a diploma thesis on FIT ČVUT (Czech)☆98Updated 5 years ago
- Texty ke statnicim☆15Updated 8 years ago
- Spletna storitev za poučevanje programiranja☆14Updated last year
- Checker for "morally correct" induction proofs about haskell programs☆9Updated 3 years ago
- My Dutch steno theory and dictionary☆12Updated 11 months ago
- Code for forum to review courses at ETH☆19Updated last month
- Mathematisches Übungsgruppen- und Scheinlisten-Interface☆26Updated last month
- Generates the best possible time table for a user☆13Updated last year
- The Incredible Proof Machine☆377Updated 3 months ago
- Welcome to Better Informatics. The student run website for students in the School of Informatics.☆72Updated this week
- This project converts structured Lean code into an interactive browser game.☆77Updated last year
- Repozitář pro projekt zobrazující statistiky očkování.☆62Updated 2 months ago
- 🎄❄️Advent of Code solutions in Haskell 🎅🎁☆10Updated 6 months ago
- ☆23Updated 3 years ago
- Embedding Pointful Array Programming in Python☆17Updated 9 months ago
- Neo2 Layout - alternativer Treiber mittels Low-Level Keyboard Hook☆36Updated 2 years ago
- A Haskell project template for Advent of Code solutions.☆32Updated last year
- ☆37Updated 9 years ago
- Advent of Code 2019 solutions☆43Updated 3 years ago
- HoTTEST Summer School materials☆300Updated 3 weeks ago
- Resources for the UQCS competitive programming group☆20Updated last year
- This is a repository to collect JUnit Tests for GAD exercises at TUM in SS21☆33Updated 3 years ago
- The source code to my personal website.☆28Updated 2 weeks ago
- NullPointerExceptions in Haskell☆58Updated 7 years ago
- 🍊 橙功之道. The road to nutrition and health.☆10Updated last year
- Nomen est omen. It exports tucan grades/vv etc.☆26Updated 8 months ago