kasiopea-org / pisek
Tool for developing tasks for programming competitions.
☆14Updated this week
Related projects ⓘ
Alternatives and complementary repositories for pisek
- #SharingIsCaring #CaringIsSharing☆82Updated 9 months ago
- A slightly improved variant of the official thesis sample☆29Updated 6 months ago
- Linux xkb keyboard layout for coders who need to write Czech.☆75Updated 7 months ago
- Spletna storitev za poučevanje programiranja☆14Updated 4 months ago
- My Dutch steno theory and dictionary☆10Updated 4 months ago
- Opinionated tips for writing and typesetting a diploma thesis on FIT ČVUT (Czech)☆98Updated 4 years ago
- Bot for FIT CTU Discord☆15Updated this week
- A wiki for collaborative work on totally legitimate "category theory"☆102Updated 5 months ago
- KOS schedule mod that customises your schedule in various ways, including renaming your courses, changing colours, adding new events, sty…☆11Updated last year
- ☆10Updated last year
- The czech library for C. Why? Because we could, of course!☆105Updated 2 weeks ago
- Zpracování maturitních otázek k maturitě z češtiny 2018-19.☆13Updated 5 months ago
- Repozitář pro projekt zobrazující statistiky očkování.☆62Updated 4 months ago
- Materiały do zajęć JNP3 (grupa Haskell) na MIMUW☆31Updated 11 months ago
- Okruhy k bakalářským SZZ. FIT 2019☆21Updated 3 years ago
- 2018-2021 mimuw by marcin abramowicz☆34Updated 2 years ago
- Visualizes the Riemannian manifolds Solv/Sol, Nil, SL(2,R), H^3 and E^3 in real time using ray marching along geodesics.☆16Updated 4 years ago
- The Incredible Proof Machine☆359Updated 10 months ago
- Generates the best possible time table for a user☆13Updated last year
- A Haskell project template for Advent of Code solutions.☆30Updated 11 months ago
- Website for the Hypercubing community☆15Updated this week
- Code for forum to review courses at ETH☆14Updated last year
- A discord frontend for an interactive interpreter bot☆22Updated last year
- Haskell Gamedev Toolkit, a library for developing games from scratch.☆66Updated 11 months ago
- Browser-based multiple choice test learning assistant☆82Updated 2 years ago
- ☆166Updated this week
- 🍊 橙功之道. The road to nutrition and health.☆10Updated 9 months ago
- A community around PL at Prague.☆18Updated 2 weeks ago
- Agda as a collaborative multiplayer game☆31Updated last month
- Laborations for EDAF05 Algorithms, Data Structures and Complexity, held at LTH.☆13Updated 3 years ago