teaching-lab / stack-cs-activities
A stack of activities to teach advanced computer science (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk University)
☆24Updated 10 months ago
Alternatives and similar repositories for stack-cs-activities:
Users that are interested in stack-cs-activities are comparing it to the libraries listed below
- A former repository of the LaTeX document class for the typesetting of theses at the Masaryk University in Brno. Now migrated to the URL …☆45Updated 2 years ago
- Teacher's Reflective Diary (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk University)☆26Updated 10 months ago
- ISO 690 style for biblatex.☆95Updated last year
- Bezpečnostní doporučení pro vývoj otevřeného software ve veřejné správě☆53Updated 8 months ago
- Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages☆96Updated 6 months ago
- The [ARM] Assembler language definition for the latex listings package☆24Updated 5 years ago
- Latex Package that allows creating a pdfpc compatible notes file directly from your latex presentation \notes.☆151Updated 5 years ago
- acronyms for LaTeX☆41Updated last year
- This is a nasty hack to enable the neo 2 keyboard layout in AWT/Swing based programs under X11 (e.g. Linux).☆30Updated 3 years ago
- LaTeX Styles provided by Dagstuhl Publishing☆37Updated 5 months ago
- Small framework for unit testing C programs written in C.☆14Updated 3 years ago
- Open Source Development Course☆24Updated 3 years ago
- Notes from courses at FI MUNI.☆71Updated 2 years ago
- Repozitář pro projekt zobrazující statistiky očkování.☆62Updated last month
- Edit Thunderbird emails in an external text editor☆106Updated 4 years ago
- A plugin for the awsome Vim editor that makes it possible to collaborate in realtime through the ShareLaTex service.☆26Updated 10 years ago
- synchronize, manage and download the files from your e-learning platform https://www.ilias.de/☆49Updated 2 years ago
- A Shape Analyzer Based on Symbolic Memory Graphs☆74Updated this week
- auto-split frame environment for LaTeX☆67Updated 2 years ago
- DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…☆21Updated 4 years ago
- Tübix website (Jekyll)☆13Updated last week
- The microtype package☆95Updated this week
- LaTeX package for fixing margin notes☆19Updated last year
- Hanoi Omega-Automata Format☆15Updated 2 years ago
- Patoline typesetting system☆190Updated 2 years ago
- ☆262Updated 3 years ago
- LibreOffice/OpenOffice.org extension to expand animations before exporting to PDF. Looking for maintainers.☆240Updated 3 years ago
- Temporary/draft repository with luametatex☆36Updated this week
- eXercise Sheets IMproved☆71Updated 9 months ago
- A small LaTeX package to draw bricks with TikZ☆23Updated last week