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 7 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
- Teacher's Reflective Diary (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk University)☆26Updated 7 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
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆41Updated 2 years ago
- Notes from courses at FI MUNI.☆70Updated 2 years ago
- ☆29Updated 7 months ago
- Hanoi Omega-Automata Format☆14Updated 2 years ago
- LaTeX Styles provided by Dagstuhl Publishing☆35Updated 2 months ago
- ISO 690 style for biblatex.☆93Updated last year
- 🐧 Penguins in LaTeX with TikZ☆69Updated this week
- Generate texlive nix expressions for documents☆95Updated 7 months ago
- A Shape Analyzer Based on Symbolic Memory Graphs☆73Updated 2 months ago
- Lightweight Performance Control System☆18Updated 2 weeks ago
- Clone of isabelle, with LSP extensions in seperate branches☆25Updated this week
- A collection of tools for writing technical documents that mix Coq code and prose.☆245Updated last month
- TikZ library for network shapes such as routers, switches, etc.☆47Updated 8 years ago
- The Git repository for the mCRL2 toolset.☆91Updated 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…☆20Updated 3 years ago
- A community around PL at Prague.☆18Updated last month
- Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.☆33Updated 4 years ago
- Patoline typesetting system☆185Updated 2 years ago
- A Wayland compositor written in Haskell, providing a configurable and programmable window management system. This project implements the …☆31Updated last week
- Frama-C and WP tutorial☆57Updated last month
- A program for making zooming slides in figma.☆32Updated 5 months ago
- The Ott tool for writing definitions of programming languages and calculi☆355Updated 2 weeks ago
- agda-mode on VS Code☆173Updated last month
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆52Updated 8 months ago
- Webstránka veřejných infografik o změně klimatu světa☆35Updated last week
- Continuous benchmarking☆14Updated last week
- Bezpečnostní doporučení pro vývoj otevřeného software ve veřejné správě☆53Updated 5 months ago
- A terminal based mail user agent based on notmuch☆140Updated last week