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 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for stack-cs-activities
- Teacher's Reflective Diary (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk University)☆26Updated 5 months ago
- 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
- Notes from courses at FI MUNI.☆70Updated 2 years ago
- Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages☆94Updated 3 weeks ago
- Webstránka veřejných infografik o změně klimatu světa☆34Updated this week
- Bezpečnostní doporučení pro vývoj otevřeného software ve veřejné správě☆53Updated 3 months ago
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆41Updated last year
- ISO 690 style for biblatex.☆93Updated last year
- Každý správný informatik má gitový repozitář s recepty.☆10Updated last year
- Small framework for unit testing C programs written in C.☆14Updated 3 years ago
- A Pandoc filter for including code from source files☆141Updated last year
- LaTeX Styles provided by Dagstuhl Publishing☆33Updated 2 weeks ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 7 years ago
- The Git repository for the mCRL2 toolset.☆88Updated this week
- Replace Unicode symbols by equivalent Latex commands☆27Updated 7 months ago
- A Shape Analyzer Based on Symbolic Memory Graphs☆73Updated 3 weeks ago
- Unofficial build of Adobe Acrobat 9.5.5 running within a docker container forwarded to local X session, based on chrisdaish/acroread☆10Updated 5 years ago
- BiBLaTeX style for Springer Lecture Notes in Computer Science☆17Updated last year
- A terminal based mail user agent based on notmuch☆139Updated last year
- Repozitář pro projekt zobrazující statistiky očkování.☆62Updated 4 months ago
- Yet another LaTeX build wrapper, with one or two nifty features☆59Updated 7 months ago
- A custom writer for pandoc that outputs JIRA Wiki Markup☆13Updated 5 years ago
- Write LaTeX theorems in Pandoc Markdown☆75Updated last year
- ☆250Updated 2 years ago
- An include filter for Pandoc☆61Updated 3 years ago
- ☆9Updated last year
- Filesystem access tracer☆81Updated 2 months 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…☆20Updated 3 years ago
- This project aims to create a total Haskell implementation of TinyWL (Tiny Wayland Compositor) using Haskell bindings for wlroots. The ul…☆12Updated last week
- Příručka pro děti a rodiče o výuce programování dětí na prvním stupni (tj. věk 6 až 11 let).☆164Updated 5 months ago