piskoviste / pisekLinks
Tool for developing tasks for programming competitions.
☆19Updated this week
Alternatives and similar repositories for pisek
Users that are interested in pisek are comparing it to the libraries listed below
Sorting:
- #SharingIsCaring #CaringIsSharing☆86Updated 7 months ago
- A slightly improved variant of the official thesis sample☆31Updated last year
- A wiki for collaborative work on totally legitimate "category theory"☆119Updated last year
- Materials for Deep Learning – ÚFAL course NPFL138☆32Updated 3 weeks ago
- A collection of information, notes and resources about courses given at the institute of computer science (DIKU) at University of Copenha…☆137Updated last year
- A systems theorem prover☆11Updated last year
- My Dutch steno theory and dictionary☆12Updated last year
- Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden☆44Updated last year
- Type-driven syntactic and semantic effectful parsing for NL☆15Updated 3 months ago
- ☆14Updated 10 months ago
- TISS Quick Registration Script☆132Updated last year
- Zusammenfassung einiger Vorlesungen, die ich gehört habe.☆20Updated 6 years ago
- A better version of KU's course catalogue☆21Updated 3 weeks ago
- Programm zum Flotten, Einfachen Runterladen von Dateien☆155Updated last month
- Skrypt do zautomatyzowanej pracy z systemem minix 2.0.3 na laboratorium SOI☆33Updated last year
- A toy implementation of the dependently typed lambda calculus known as λΠ☆11Updated 5 years ago
- Code for forum to review courses at ETH☆19Updated 3 months ago
- The Incredible Proof Machine☆380Updated 6 months ago
- A LaTeX Typesetting Game☆255Updated 5 months ago
- Notes from the Computer Science program at Chalmers Uni. of Technology☆14Updated 7 years ago
- Multi-language Analyze text in 26 Cantonal Swiss German, Italian, German, Chinese (simplified), French, Italian. pply natural language un…☆250Updated 2 years ago
- 2018-2021 mimuw by marcin abramowicz☆34Updated 3 years ago
- ☆12Updated 4 years ago
- Sintaxis para escribir TADs en Sublime Text☆18Updated 3 years ago
- agda-mode for neovim☆164Updated last month
- Opinionated tips for writing and typesetting a diploma thesis on FIT ČVUT (Czech)☆98Updated 5 years ago
- A formal logic framework that runs in the browser☆299Updated 8 months ago
- Public repository for Advanced Programming☆58Updated 7 months ago
- Public repository for HPPS 2022☆21Updated 2 years ago
- DIKU Support Tools for Canvas LMS☆14Updated 11 months ago