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 9 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
- The [ARM] Assembler language definition for the latex listings package☆24Updated 5 years ago
- Teacher's Reflective Diary (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk University)☆26Updated 9 months ago
- ISO 690 style for biblatex.☆95Updated last year
- A community around PL at Prague.☆18Updated 3 months ago
- Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages☆96Updated 5 months ago
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆41Updated 2 years ago
- Small framework for unit testing C programs written in C.☆14Updated 3 years ago
- LaTeX Styles provided by Dagstuhl Publishing☆36Updated 4 months ago
- A wallpaper redesign of http://i.imgur.com/4A9U7TY.png — made with Inkscape.☆22Updated 8 years ago
- Manage GitLab for Labs from the Command Line☆11Updated 3 months ago
- A Shape Analyzer Based on Symbolic Memory Graphs☆73Updated 2 weeks 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
- Patoline typesetting system☆191Updated 2 years ago
- A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)☆39Updated 3 months ago
- Continuous benchmarking☆16Updated last week
- KeY Theorem Prover for Deductive Java Verification☆54Updated this week
- Interactive Coq Proofs in Vim☆289Updated this week
- my xmonad configuration☆12Updated 6 months ago
- 🐧 Penguins in LaTeX with TikZ☆70Updated 2 months ago
- Lightweight Performance Control System☆18Updated last week
- An in-browser Beamer presentation viewer☆17Updated last year
- A custom writer for pandoc that outputs JIRA Wiki Markup☆13Updated 5 years ago
- Dafny 2 for Visual Studio Code (Legacy)☆18Updated 2 years ago
- Extensions for the biblatex standard styles☆25Updated this week
- CTAN - gitinfo2.sty: Use git repository metadata in LaTeX documents☆43Updated 4 years ago
- Latex Package that allows creating a pdfpc compatible notes file directly from your latex presentation \notes.☆151Updated 5 years ago
- ☆29Updated last month
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- A latex package to draw cute rubber ducks with TikZ☆176Updated 2 months ago