Alternatives and similar repositories for stack-cs-activities

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

• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆101Updated this week
• 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
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆302Updated 2 months ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆37Updated 11 months ago
• stefanhepp / pplatex
  Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages
  ☆99Updated 5 months ago
• basicpage / basicpage.github.io
  Template for a basic academic page
  ☆13Updated last week
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆530Updated 4 months ago
• frosc / arm-assembler-latex-listings
  The [ARM] Assembler language definition for the latex listings package
  ☆25Updated 5 years ago
• aclements / latexrun
  A 21st century LaTeX wrapper
  ☆631Updated last year
• bohlender / vim-smt2
  A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
  ☆40Updated 5 months ago
• tomtomjhj / coq-lsp.nvim
  Neovim client for coq-lsp
  ☆27Updated 2 weeks ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆275Updated last month
• patoline / patoline
  Patoline typesetting system
  ☆192Updated 3 years ago
• Krejdom / school_notes
  Notes from courses at FI MUNI.
  ☆72Updated 3 years ago
• OxiDD / oxidd
  Concurrent decision diagram framework written in Rust
  ☆65Updated 2 weeks ago
• teaching-lab / reflective-diary
  Teacher's Reflective Diary (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk University)
  ☆28Updated last year
• imitator-model-checker / imitator
  IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…
  ☆28Updated this week
• nickbattle / vdmj
  Formal Modelling in VDM
  ☆28Updated this week
• ejgallego / rocq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
  ☆188Updated last week
• adl / hoaf
  Hanoi Omega-Automata Format
  ☆15Updated 2 years ago
• owickstrom / pandoc-include-code
  A Pandoc filter for including code from source files
  ☆147Updated 2 years ago
• agda / cornelis
  agda-mode for neovim
  ☆168Updated 3 weeks ago
• islandoftex / arara
  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 this week
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆701Updated 5 months ago
• Treeniks / isabelle-lsp.nvim
  ☆14Updated last year
• dnadales / nix-latex-template
  Nix configuration for reproducible builds of LaTeX documents
  ☆25Updated 4 years ago
• ligurio / practical-fm
  A gently curated list of companies using verification formal methods in industry
  ☆575Updated 8 months ago
• the-lambda-church / coquille
  Interactive theorem proving with Coq in vim.
  ☆185Updated 5 years ago
• obcode / glabs
  Manage GitLab for Labs from the Command Line
  ☆11Updated 10 months ago
• samcarter / tikzducks
  A latex package to draw cute rubber ducks with TikZ
  ☆186Updated this week