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
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆301Updated last month
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆528Updated 3 months ago
• Treeniks / isabelle-lsp.nvim
  ☆14Updated 11 months 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
• aclements / latexrun
  A 21st century LaTeX wrapper
  ☆630Updated last year
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆37Updated 10 months ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆268Updated last week
• Krejdom / school_notes
  Notes from courses at FI MUNI.
  ☆72Updated 3 years ago
• michal-h21 / biblatex-iso690
  ISO 690 style for biblatex.
  ☆98Updated 2 years 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 last week
• stefanhepp / pplatex
  Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages
  ☆99Updated 4 months ago
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆99Updated this week
• bohlender / vim-smt2
  A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
  ☆40Updated 4 months ago
• patoline / patoline
  Patoline typesetting system
  ☆191Updated 3 years ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆382Updated 6 months ago
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆384Updated 8 months ago
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆694Updated 5 months ago
• frosc / arm-assembler-latex-listings
  The [ARM] Assembler language definition for the latex listings package
  ☆24Updated 5 years ago
• leanprover / velcom
  Continuous benchmarking
  ☆19Updated 2 weeks ago
• owickstrom / pandoc-include-code
  A Pandoc filter for including code from source files
  ☆147Updated 2 years ago
• tomtomjhj / coq-lsp.nvim
  Neovim client for coq-lsp
  ☆27Updated 10 months ago
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆408Updated last week
• samcarter / tikzducks
  A latex package to draw cute rubber ducks with TikZ
  ☆183Updated 2 weeks ago
• cebe / pdfpc-latex-notes
  Latex Package that allows creating a pdfpc compatible notes file directly from your latex presentation \notes.
  ☆152Updated 6 years ago
• sosy-lab / benchexec
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  ☆269Updated this week
• LeventErkok / sbv
  SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
  ☆260Updated this week
• agda / cornelis
  agda-mode for neovim
  ☆165Updated last month
• KeYProject / key
  KeY Theorem Prover for Deductive Java Verification
  ☆62Updated last week
• the-lambda-church / coquille
  Interactive theorem proving with Coq in vim.
  ☆185Updated 5 years ago