Alternatives and similar repositories for stack-cs-activities

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

• Krejdom / school_notes
  Notes from courses at FI MUNI.
  ☆72Updated 3 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
• 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
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆37Updated 8 months ago
• nickbattle / vdmj
  Formal Modelling in VDM
  ☆28Updated this week
• teaching-lab / reflective-diary
  Teacher's Reflective Diary (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk University)
  ☆26Updated last year
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆100Updated this week
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆296Updated last week
• purebred-mua / purebred
  A terminal based mail user agent based on notmuch
  ☆141Updated 3 weeks ago
• spito / testing
  Small framework for unit testing C programs written in C.
  ☆14Updated 4 years ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆265Updated last week
• agda / cornelis
  agda-mode for neovim
  ☆158Updated 2 months ago
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆522Updated last month
• tomtomjhj / coq-lsp.nvim
  Neovim client for coq-lsp
  ☆27Updated 8 months ago
• AllanBlanchard / tutoriel_wp
  Frama-C and WP tutorial
  ☆61Updated 3 months ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 8 years ago
• ths-rwth / carl
  ☆30Updated last month
• dnadales / nix-latex-template
  Nix configuration for reproducible builds of LaTeX documents
  ☆25Updated 4 years ago
• adl / hoaf
  Hanoi Omega-Automata Format
  ☆15Updated 2 years ago
• Scosh / Makepkg-Not-War-Wallpaper-Series
  A wallpaper redesign of http://i.imgur.com/4A9U7TY.png — made with Inkscape.
  ☆22Updated 8 years ago
• alangpierce / TheProofIsTrivial
  Math-themed single-serving site
  ☆46Updated 4 years ago
• owickstrom / pandoc-include-code
  A Pandoc filter for including code from source files
  ☆146Updated 2 years ago
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆378Updated 6 months ago
• QuickChick / QuickChick
  Randomized Property-Based Testing Plugin for Coq
  ☆265Updated 2 weeks ago
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆189Updated last week
• bohlender / vim-smt2
  A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
  ☆39Updated 2 months ago
• IagoAbal / haskell-z3
  Haskell bindings to Microsoft's Z3 API (unofficial).
  ☆59Updated last year
• Mzk-Levi / texts
  ☆160Updated 10 years ago
• tchajed / coq-record-update
  Library to create Coq record update functions
  ☆48Updated last week
• IPDSnelting / velcom
  Continuous benchmarking
  ☆18Updated 3 weeks ago