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:
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆43Updated 2 years ago
- Interactive Coq Proofs in Vim☆301Updated last month
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆528Updated 3 months ago
- ☆14Updated 11 months 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
- A 21st century LaTeX wrapper☆630Updated last year
- LaTeX Styles provided by Dagstuhl Publishing☆37Updated 10 months ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆268Updated last week
- Notes from courses at FI MUNI.☆72Updated 3 years ago
- ISO 690 style for biblatex.☆98Updated 2 years ago
- arara is a TeX automation tool based on rules and directives. It gives you a way to enhance your TeX experience. This is a mirror reposit…☆410Updated last week
- Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages☆99Updated 4 months ago
- The Git repository for the mCRL2 toolset.☆99Updated this week
- A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)☆40Updated 4 months ago
- Patoline typesetting system☆191Updated 3 years ago
- The Incredible Proof Machine☆382Updated 6 months ago
- The Ott tool for writing definitions of programming languages and calculi☆384Updated 8 months ago
- Proving leftpad correct two-dozen different ways☆694Updated 5 months ago
- The [ARM] Assembler language definition for the latex listings package☆24Updated 5 years ago
- Continuous benchmarking☆19Updated 2 weeks ago
- A Pandoc filter for including code from source files☆147Updated 2 years ago
- Neovim client for coq-lsp☆27Updated 10 months ago
- Visual Studio Code extension for Coq☆408Updated last week
- A latex package to draw cute rubber ducks with TikZ☆183Updated 2 weeks ago
- Latex Package that allows creating a pdfpc compatible notes file directly from your latex presentation \notes.☆152Updated 6 years ago
- BenchExec: A Framework for Reliable Benchmarking and Resource Measurement☆269Updated this week
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆260Updated this week
- agda-mode for neovim☆165Updated last month
- KeY Theorem Prover for Deductive Java Verification☆62Updated last week
- Interactive theorem proving with Coq in vim.☆185Updated 5 years ago