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)
☆26Updated 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:
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆43Updated 3 years 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 3 years ago
- The [ARM] Assembler language definition for the latex listings package☆26Updated 5 years ago
- Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages☆99Updated 9 months ago
- LaTeX Styles provided by Dagstuhl Publishing☆40Updated last year
- Continuous benchmarking☆19Updated 2 weeks ago
- A Pandoc filter for including code from source files☆147Updated 2 years ago
- Patoline typesetting system☆195Updated 3 years ago
- Latex Package that allows creating a pdfpc compatible notes file directly from your latex presentation \notes.☆152Updated 6 years ago
- Small framework for unit testing C programs written in C.☆14Updated 4 years ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆284Updated 4 months ago
- A 21st century LaTeX wrapper☆635Updated last year
- Neovim client for coq-lsp☆30Updated 4 months ago
- The Git repository for the mCRL2 toolset.☆103Updated this week
- Nixos wiki [maintainer=@samueldr]☆102Updated last year
- ☆16Updated 2 months ago
- Template for a basic academic page☆16Updated last month
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- Open Source Development Course☆25Updated 3 years ago
- Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]☆50Updated this week
- Interactive Coq Proofs in Vim☆312Updated 2 months ago
- The Ott tool for writing definitions of programming languages and calculi☆400Updated 3 weeks ago
- ☆16Updated 8 years ago
- ☆30Updated 8 months ago
- for sharing .XCompose keybindings☆364Updated 8 months ago
- IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…☆28Updated 3 weeks ago
- Hanoi Omega-Automata Format☆15Updated 3 years ago
- Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]☆40Updated 3 months ago
- Lua script converting expression in very simple syntax to a proper LaTeX code for ZIM editor☆23Updated 9 years ago
- Math-themed single-serving site☆46Updated 4 years ago