teaching-lab / stack-cs-activitiesLinks
A stack of activities to teach advanced computer science (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk University)
☆24Updated last year
Alternatives and similar repositories for stack-cs-activities
Users that are interested in stack-cs-activities are comparing it to the libraries listed below
Sorting:
- 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 3 years ago
- Teacher's Reflective Diary (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk University)☆26Updated last year
- Notes from courses at FI MUNI.☆71Updated 2 years ago
- Small framework for unit testing C programs written in C.☆14Updated 4 years ago
- ISO 690 style for biblatex.☆95Updated last year
- A latex package to draw cute rubber ducks with TikZ☆179Updated last week
- Bezpečnostní doporučení pro vývoj otevřeného software ve veřejné správě☆53Updated 9 months ago
- ☆12Updated 3 years ago
- The [ARM] Assembler language definition for the latex listings package☆24Updated 5 years ago
- ☆30Updated 2 weeks ago
- Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages☆96Updated last month
- A community around PL at Prague.☆18Updated 5 months ago
- A LaTeX package to typeset menu sequences, key strokes, paths etc.☆47Updated 2 years ago
- LibreOffice/OpenOffice.org extension to expand animations before exporting to PDF. Looking for maintainers.☆245Updated 3 years ago
- A small LaTeX package to draw bricks with TikZ☆23Updated last week
- Collection of animals and other beings drawn in TikZ☆97Updated last week
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆42Updated 2 years ago
- acronyms for LaTeX☆42Updated last year
- Repozitář pro projekt zobrazující statistiky očkování.☆62Updated last month
- Convert graphs generated by Graphviz to LaTeX friendly formats☆156Updated 5 months ago
- Extensions for the biblatex standard styles☆26Updated last week
- Latex Package that allows creating a pdfpc compatible notes file directly from your latex presentation \notes.☆151Updated 5 years ago
- A Shape Analyzer Based on Symbolic Memory Graphs☆75Updated this week
- 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
- Frama-C and WP tutorial☆60Updated last month
- Context sensitive quotation facilities☆29Updated 3 months ago
- The microtype package☆103Updated last month
- Math-themed single-serving site☆46Updated 3 years ago
- UML diagrams for LaTeX/MetaPost☆125Updated 2 years ago
- Yet another LaTeX build wrapper, with one or two nifty features☆60Updated 3 months ago