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 2 years ago
- Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages☆99Updated 7 months ago
- Interactive Coq Proofs in Vim☆309Updated last week
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆535Updated 6 months ago
- Open Source Development Course☆25Updated 3 years ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆279Updated 3 months ago
- ☆15Updated last week
- ISO 690 style for biblatex.☆99Updated 2 months ago
- The [ARM] Assembler language definition for the latex listings package☆26Updated 5 years ago
- The Haskell LaTeX library.☆199Updated 2 years ago
- The Ott tool for writing definitions of programming languages and calculi☆398Updated 11 months ago
- Notes from courses at FI MUNI.☆72Updated 3 years ago
- A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)☆41Updated last month
- LaTeX Styles provided by Dagstuhl Publishing☆40Updated last year
- The Vellvm (Verified LLVM) coq development.☆450Updated this week
- Continuous benchmarking☆19Updated 3 months ago
- A 21st century LaTeX wrapper☆633Updated last year
- Hanoi Omega-Automata Format☆15Updated 3 years ago
- A Pandoc filter for including code from source files☆147Updated 2 years ago
- hoodle : A pen notetaking program written in haskell☆146Updated 2 years ago
- Neovim client for coq-lsp☆30Updated 2 months ago
- Patoline typesetting system☆194Updated 3 years ago
- Nix configuration for reproducible builds of LaTeX documents☆25Updated 4 years ago
- Shake build system☆793Updated 10 months ago
- Lua script converting expression in very simple syntax to a proper LaTeX code for ZIM editor☆23Updated 9 years ago
- Crucible is a library for symbolic simulation of imperative programs☆750Updated this week
- 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☆188Updated last week
- My personal monorepo: dotfiles, /etc-files, single-file scripts, vim plugins, webexts/userscripts, xmonad config, all that stuff…☆103Updated last month
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆66Updated this week