Alternatives and similar repositories for stack-cs-activities

Users that are interested in stack-cs-activities are comparing it to the libraries listed below

• CAAL / CAAL
  CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…
  ☆43Updated 2 years ago
• Witiko / fithesis
  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
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆37Updated 9 months ago
• crocs-muni / open-source-development-course
  Open Source Development Course
  ☆24Updated 3 years ago
• adl / hoaf
  Hanoi Omega-Automata Format
  ☆15Updated 2 years ago
• frosc / arm-assembler-latex-listings
  The [ARM] Assembler language definition for the latex listings package
  ☆24Updated 5 years ago
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆523Updated 2 months ago
• bohlender / vim-smt2
  A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
  ☆39Updated 3 months ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆265Updated this week
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆299Updated last week
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 8 years ago
• paradise-fi / divine
  DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…
  ☆22Updated 4 years ago
• ths-rwth / carl
  ☆30Updated 2 months ago
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆99Updated last week
• IPDSnelting / velcom
  Continuous benchmarking
  ☆18Updated 3 weeks ago
• EagleoutIce / tikzpingus
  🐧 Penguins in LaTeX with TikZ
  ☆81Updated last month
• owickstrom / pandoc-include-code
  A Pandoc filter for including code from source files
  ☆147Updated 2 years ago
• sosy-lab / benchexec
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  ☆268Updated last month
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆377Updated 7 months ago
• stefanhepp / pplatex
  Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages
  ☆99Updated 3 months ago
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆184Updated 3 years ago
• lisa-analyzer / lisa
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆62Updated 2 weeks ago
• vellvm / vellvm
  The Vellvm (Verified LLVM) coq development.
  ☆440Updated this week
• monperrus / ExpandAnimations
  LibreOffice/OpenOffice.org extension to expand animations before exporting to PDF. Looking for maintainers.
  ☆249Updated 4 years ago
• ddsmt / ddSMT
  A delta debugger for SMT benchmarks in SMT-LIB v2.
  ☆56Updated last month
• obcode / glabs
  Manage GitLab for Labs from the Command Line
  ☆11Updated 8 months ago
• tomtomjhj / coq-lsp.nvim
  Neovim client for coq-lsp
  ☆27Updated 9 months ago
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
  ☆183Updated last week
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆25Updated last month
• KeYProject / key
  KeY Theorem Prover for Deductive Java Verification
  ☆60Updated last week