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 3 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
• frosc / arm-assembler-latex-listings
  The [ARM] Assembler language definition for the latex listings package
  ☆26Updated 5 years ago
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆538Updated 8 months ago
• spito / testing
  Small framework for unit testing C programs written in C.
  ☆14Updated 4 years ago
• crocs-muni / open-source-development-course
  Open Source Development Course
  ☆25Updated 3 years ago
• leanprover / velcom
  Continuous benchmarking
  ☆19Updated last week
• owickstrom / pandoc-include-code
  A Pandoc filter for including code from source files
  ☆147Updated 2 years ago
• patoline / patoline
  Patoline typesetting system
  ☆195Updated 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
• Treeniks / isabelle-lsp.nvim
  ☆15Updated last month
• liskin / dotfiles
  My personal monorepo: dotfiles, /etc-files, single-file scripts, vim plugins, webexts/userscripts, xmonad config, all that stuff…
  ☆103Updated 2 months ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆312Updated last month
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆40Updated last year
• nix-community / wiki
  Nixos wiki [maintainer=@samueldr]
  ☆102Updated last year
• evanrelf / dotfiles
  My personal development environment
  ☆10Updated this week
• stefanhepp / pplatex
  Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages
  ☆99Updated 8 months ago
• sosy-lab / benchexec
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  ☆277Updated this week
• Jomik / dotfiles
  Repository for my dotfiles
  ☆12Updated last month
• kdudka / predator
  A Shape Analyzer Based on Symbolic Memory Graphs
  ☆78Updated 3 weeks ago
• tud-cd / tud-cd
  Corporate Design der TU Dresden – beamer style and old poster class
  ☆53Updated 4 years ago
• basicpage / basicpage.github.io
  Template for a basic academic page
  ☆16Updated last month
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 8 years ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆284Updated 4 months ago
• michal-h21 / biblatex-iso690
  ISO 690 style for biblatex.
  ☆99Updated 4 months ago
• mickael9 / i3-window-icons
  Window icons support in the titlebar for the i3 window manager
  ☆11Updated 6 years ago
• goblint / analyzer
  Static analysis framework for C
  ☆231Updated this week
• bohlender / vim-smt2
  A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
  ☆40Updated 3 months ago
• shiblon / latex-makefile
  A Makefile for LaTeX - drop it in, type make, and magic happens.
  ☆190Updated 2 years ago