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:
- Open Source Development Course☆25Updated 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
- LaTeX Styles provided by Dagstuhl Publishing☆40Updated last year
- Notes from courses at FI MUNI.☆72Updated 3 years ago
- Hanoi Omega-Automata Format☆15Updated 3 years ago
- A Pandoc filter for including code from source files☆147Updated 2 years ago
- The [ARM] Assembler language definition for the latex listings package☆25Updated 5 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
- Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages☆99Updated 6 months ago
- A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)☆42Updated last month
- Interactive Coq Proofs in Vim☆305Updated 2 weeks ago
- An in-browser Beamer presentation viewer☆17Updated 2 years ago
- ☆15Updated last year
- ISO 690 style for biblatex.☆99Updated last month
- A terminal based mail user agent based on notmuch☆142Updated 2 months ago
- The Git repository for the mCRL2 toolset.☆102Updated this week
- My personal monorepo: dotfiles, /etc-files, single-file scripts, vim plugins, webexts/userscripts, xmonad config, all that stuff…☆103Updated 2 weeks ago
- Synthesis Format Conversion Tool☆26Updated last week
- Corporate Design der TU Dresden – beamer style and old poster class☆52Updated 4 years ago
- agda-mode for neovim☆168Updated 3 weeks ago
- A Shape Analyzer Based on Symbolic Memory Graphs☆76Updated last month
- ☆16Updated 8 years ago
- Neovim client for coq-lsp☆28Updated last month
- ☆30Updated 6 months ago
- Template for a basic academic page☆15Updated last month
- A 21st century LaTeX wrapper☆633Updated last year
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆262Updated this week
- Interactive theorem proving with Coq in vim.☆185Updated 5 years ago
- Haskell implementation of the wayland protocol☆92Updated 8 years ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆533Updated 5 months ago