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)
☆25Updated 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:
- Teacher's Reflective Diary (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk University)☆26Updated last year
- 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
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆43Updated 2 years ago
- Notes from courses at FI MUNI.☆71Updated 3 years ago
- The [ARM] Assembler language definition for the latex listings package☆24Updated 5 years ago
- Small framework for unit testing C programs written in C.☆14Updated 4 years ago
- A small LaTeX package to draw bricks with TikZ☆22Updated last month
- Bezpečnostní doporučení pro vývoj otevřeného software ve veřejné správě☆53Updated 10 months ago
- A Pandoc filter for including code from source files☆145Updated 2 years ago
- UCalgary version of forallx, an introduction to formal logic☆108Updated this week
- Hanoi Omega-Automata Format☆15Updated 2 years ago
- LibreOffice/OpenOffice.org extension to expand animations before exporting to PDF. Looking for maintainers.☆247Updated 4 years ago
- Language definitions and styles for listings in LaTeX.☆68Updated 4 years ago
- A LaTeX based calendar☆55Updated 5 years ago
- Webstránka veřejných infografik o změně klimatu světa☆35Updated last week
- LaTeX Styles provided by Dagstuhl Publishing☆37Updated 7 months ago
- Dual-Screen PDF Viewer for latex-beamer☆229Updated 2 years ago
- Simple things nobody tells you how to do☆22Updated 6 years ago
- ☆30Updated last month
- A builder for LaTeX, knitr, literate Agda, literate Haskell and Pweave that automatically builds dependencies.☆21Updated 6 years ago
- A Haskell CheatSheet in PDF and literate source formats.☆270Updated 2 years ago
- ISO 690 style for biblatex.☆95Updated last year
- 🐧 Penguins in LaTeX with TikZ☆79Updated this week
- A Shape Analyzer Based on Symbolic Memory Graphs☆75Updated 3 weeks ago
- Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages☆97Updated last month
- Concept for creating a set of corporate templates using LaTeX. The templates allow structured PDFs and work well with Pandoc, the documen…☆32Updated 5 years ago
- Converter from LaTeX to ebook formats (epub, mobi). Using tex4ht and texlua scripts.☆342Updated 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 6 years ago
- ☆12Updated 3 years ago
- Math-themed single-serving site☆46Updated 4 years ago