piskoviste / pisekLinks
Tool for developing tasks for programming competitions.
☆19Updated last 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 8 months ago
- A wiki for collaborative work on totally legitimate "category theory"☆120Updated last year
- ☆337Updated this week
- A slightly improved variant of the official thesis sample☆31Updated 2 weeks ago
- Spletna storitev za poučevanje programiranja☆14Updated last year
- My Dutch steno theory and dictionary☆12Updated last year
- Materials for Deep Learning – ÚFAL course NPFL138☆32Updated this week
- Scenariusze na laboratoria JPP na wydziale MIM UW.☆12Updated 11 months ago
- ☆11Updated 4 months ago
- Course materials for Chalmers TPIL25 class☆15Updated 7 months ago
- Website for the Hypercubing community☆22Updated this week
- 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 highly unofficial, still experimental LaTeX document class for ITU M.Sc. and Ph.D. theses and dissertations☆20Updated 7 years ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆268Updated last week
- HoTTEST Summer School materials☆311Updated 3 months ago
- A LaTeX Typesetting Game☆256Updated 5 months ago
- ☆64Updated 3 years ago
- Dafny 2 for Visual Studio Code (Legacy)☆20Updated 2 years ago
- A Dependently Timed Drum Machine Language☆10Updated last year
- The Incredible Proof Machine☆382Updated 6 months ago
- Agda as a collaborative multiplayer game☆38Updated 11 months ago
- agda-mode on VS Code☆179Updated this week
- A systems theorem prover☆11Updated last year
- Notes from courses at FI MUNI.☆72Updated 3 years ago
- Detexify Backend written in Haskell☆914Updated 8 years ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆681Updated this week
- Public repository for Advanced Programming☆58Updated 8 months ago
- You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?☆34Updated 4 years ago
- Server to host lean games.☆319Updated this week
- ☆13Updated 5 years ago