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
• Krejdom / school_notes
  Notes from courses at FI MUNI.
  ☆72Updated 3 years ago
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆103Updated this week
• owickstrom / pandoc-include-code
  A Pandoc filter for including code from source files
  ☆147Updated 2 years ago
• aclements / latexrun
  A 21st century LaTeX wrapper
  ☆633Updated last year
• Treeniks / isabelle-lsp.nvim
  ☆15Updated last month
• mewmew / lstlangs
  Language definitions and styles for listings in LaTeX.
  ☆68Updated 4 months ago
• michal-h21 / biblatex-iso690
  ISO 690 style for biblatex.
  ☆99Updated 3 months ago
• stefanhepp / pplatex
  Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages
  ☆99Updated 8 months ago
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆535Updated 7 months ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆40Updated last year
• ogheorghies / MetaUML
  UML diagrams for LaTeX/MetaPost
  ☆126Updated 2 years ago
• hycos / regex2smtlib
  A regular expression to SMT-LIB constraint translator
  ☆12Updated 5 months ago
• AndyClifton / CorporateLaTeX
  Concept for creating a set of corporate templates using LaTeX. The templates allow structured PDFs and work well with Pandoc, the documen…
  ☆35Updated 5 years ago
• frosc / arm-assembler-latex-listings
  The [ARM] Assembler language definition for the latex listings package
  ☆26Updated 5 years ago
• liskin / dotfiles
  My personal monorepo: dotfiles, /etc-files, single-file scripts, vim plugins, webexts/userscripts, xmonad config, all that stuff…
  ☆102Updated 2 months ago
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆713Updated 8 months ago
• patoline / patoline
  Patoline typesetting system
  ☆194Updated 3 years ago
• DafnyVSCode / Dafny-VSCode
  Dafny 2 for Visual Studio Code (Legacy)
  ☆21Updated 3 years ago
• punk0x29a / teknote
  Lua script converting expression in very simple syntax to a proper LaTeX code for ZIM editor
  ☆23Updated 9 years ago
• samcarter / tikzducks
  A latex package to draw cute rubber ducks with TikZ
  ☆189Updated last week
• zommerfelds / pandoc-image-in-table
  A very simple Pandoc filter to properly position images inside a table for LaTeX output
  ☆11Updated 9 years ago
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆398Updated last year
• overturetool / vdm-vscode
  Visual Studio Code extension for VDM language support
  ☆20Updated 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…
  ☆415Updated 3 weeks ago
• dannyedel / dspdfviewer
  Dual-Screen PDF Viewer for latex-beamer
  ☆233Updated 2 years ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆311Updated last month
• johannesbottcher / titlepageExamples
  Some examples for title pages with LaTeX
  ☆67Updated 6 years ago
• ligurio / practical-fm
  A gently curated list of companies using verification formal methods in industry
  ☆586Updated 2 months ago
• johnyf / tool_lists
  Links to tools by subject
  ☆387Updated last year