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
• crocs-muni / open-source-development-course
  Open Source Development Course
  ☆24Updated 3 years ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆37Updated 9 months ago
• stefanhepp / pplatex
  Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages
  ☆99Updated 3 months ago
• frosc / arm-assembler-latex-listings
  The [ARM] Assembler language definition for the latex listings package
  ☆24Updated 5 years ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆300Updated 3 weeks ago
• spito / testing
  Small framework for unit testing C programs written in C.
  ☆14Updated 4 years ago
• teaching-lab / reflective-diary
  Teacher's Reflective Diary (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk University)
  ☆26Updated last year
• michal-h21 / biblatex-iso690
  ISO 690 style for biblatex.
  ☆96Updated 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
• Treeniks / isabelle-lsp.nvim
  ☆14Updated 10 months ago
• Krejdom / school_notes
  Notes from courses at FI MUNI.
  ☆72Updated 3 years ago
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆99Updated this week
• IPDSnelting / velcom
  Continuous benchmarking
  ☆18Updated 2 weeks ago
• aclements / latexrun
  A 21st century LaTeX wrapper
  ☆630Updated last year
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆526Updated 3 months ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆267Updated last week
• tomtomjhj / coq-lsp.nvim
  Neovim client for coq-lsp
  ☆27Updated 10 months ago
• owickstrom / pandoc-include-code
  A Pandoc filter for including code from source files
  ☆147Updated 2 years ago
• AllanBlanchard / tutoriel_wp
  Frama-C and WP tutorial
  ☆62Updated 4 months ago
• pacien / beamer-viewer
  An in-browser Beamer presentation viewer
  ☆17Updated last year
• punk0x29a / teknote
  Lua script converting expression in very simple syntax to a proper LaTeX code for ZIM editor
  ☆23Updated 9 years ago
• the-lambda-church / coquille
  Interactive theorem proving with Coq in vim.
  ☆185Updated 4 years ago
• mewmew / lstlangs
  Language definitions and styles for listings in LaTeX.
  ☆67Updated last week
• Hightor / gitinfo2
  CTAN - gitinfo2.sty: Use git repository metadata in LaTeX documents
  ☆43Updated 5 years ago
• dnadales / nix-latex-template
  Nix configuration for reproducible builds of LaTeX documents
  ☆25Updated 4 years ago
• agda / cornelis
  agda-mode for neovim
  ☆164Updated last month
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆224Updated 4 months ago
• adl / hoaf
  Hanoi Omega-Automata Format
  ☆15Updated 2 years ago
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆111Updated 2 months ago