kasiopea-org / pisek
Tool for developing tasks for programming competitions.
☆16Updated this week
Alternatives and similar repositories for pisek:
Users that are interested in pisek are comparing it to the libraries listed below
- #SharingIsCaring #CaringIsSharing☆84Updated last month
- Kolekce Anki balíčků k různým předmětům na MFF (informatika).☆13Updated last year
- Linux xkb keyboard layout for coders who need to write Czech.☆77Updated 10 months ago
- A slightly improved variant of the official thesis sample☆28Updated 9 months ago
- Notes from courses at FI MUNI.☆71Updated 2 years ago
- Opinionated tips for writing and typesetting a diploma thesis on FIT ČVUT (Czech)☆98Updated 5 years ago
- poznámky z bakalářské informatiky na MFF UK☆11Updated 2 weeks ago
- A wiki for collaborative work on totally legitimate "category theory"☆104Updated 8 months ago
- Programming in the C language course materials☆11Updated this week
- The czech library for C. Why? Because we could, of course!☆118Updated 2 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
- Zpracování maturitních otázek k maturitě z češtiny 2018-19.☆13Updated 8 months ago
- A Haskell project template for Advent of Code solutions.☆32Updated last year
- Solutions, scripting, and templates for adventofcode.com☆23Updated 11 months ago
- The source code to my personal website.☆27Updated this week
- Texty ke statnicim☆15Updated 7 years ago
- A community around PL at Prague.☆18Updated 2 months ago
- Repozitář pro projekt zobrazující statistiky očkování.☆62Updated 3 weeks ago
- ☆12Updated 4 years ago
- LaTeX template for theses at CTU in Prague☆42Updated 9 months ago
- The Incredible Proof Machine☆367Updated last year
- Exercises from "Introduction to Functional Programming using Haskell" by Richard Bird☆15Updated 12 years ago
- agda-mode for neovim☆142Updated this week
- Spletna storitev za poučevanje programiranja☆14Updated 7 months ago
- EOL - end of life | Uloz.to quick multiple sessions downloader☆278Updated last year
- "Exact" real arithmetic for Haskell using continued fractions (Not formally proven correct)☆40Updated 9 years ago
- A successor to the much revered and sorely missed UQ Timetable Planner☆26Updated last month
- A digital archive of category theory papers.☆23Updated last year
- Dokumentace mobilního API bakalářů☆51Updated 3 years ago
- Lean Library currently studying for a degree at Imperial College☆226Updated last week