Alternatives and similar repositories for stack-cs-activities:

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

• 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 2 years ago
• teaching-lab / reflective-diary
  Teacher's Reflective Diary (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk University)
  ☆26Updated 8 months ago
• NUKIB / bezpecnostni-doporuceni-open-source
  Bezpečnostní doporučení pro vývoj otevřeného software ve veřejné správě
  ☆53Updated 6 months ago
• Krejdom / school_notes
  Notes from courses at FI MUNI.
  ☆71Updated 2 years ago
• ths-rwth / carl
  ☆29Updated 3 weeks ago
• spito / testing
  Small framework for unit testing C programs written in C.
  ☆14Updated 3 years ago
• vituscze / norri
  ☆9Updated last year
• CAAL / CAAL
  CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…
  ☆41Updated 2 years ago
• kdudka / predator
  A Shape Analyzer Based on Symbolic Memory Graphs
  ☆73Updated 2 weeks ago
• DafnyVSCode / Dafny-VSCode
  Dafny 2 for Visual Studio Code (Legacy)
  ☆18Updated 2 years ago
• faktaoklimatu / web-cz
  Webstránka veřejných infografik o změně klimatu světa
  ☆35Updated last week
• bohlender / vim-smt2
  A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
  ☆39Updated 2 months ago
• michal-h21 / biblatex-iso690
  ISO 690 style for biblatex.
  ☆93Updated last year
• martinjonas / Q3B
  ☆27Updated 8 months ago
• lang-talk / meetups
  A community around PL at Prague.
  ☆18Updated 2 months ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆35Updated 3 months ago
• friedemannbartels / latex-pagelayout
  Declarative Page Layouts
  ☆33Updated 6 months ago
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆94Updated this week
• paradise-fi / divine
  DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…
  ☆20Updated 3 years ago
• obcode / glabs
  Manage GitLab for Labs from the Command Line
  ☆11Updated 2 months ago
• dannyedel / dspdfviewer
  Dual-Screen PDF Viewer for latex-beamer
  ☆223Updated last year
• purebred-mua / purebred
  A terminal based mail user agent based on notmuch
  ☆141Updated last month
• risicle / nix-heuristic-gc
  A more discerning cousin of nix-collect-garbage
  ☆62Updated last month
• SSoelvsten / bdd-benchmark
  Benchmarking Suite for BDD packages
  ☆14Updated 2 months ago
• IPDSnelting / velcom
  Continuous benchmarking
  ☆14Updated last month
• IagoAbal / haskell-z3
  Haskell bindings to Microsoft's Z3 API (unofficial).
  ☆57Updated 11 months ago
• domschrei / mallob
  Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.
  ☆64Updated this week
• monperrus / ExpandAnimations
  LibreOffice/OpenOffice.org extension to expand animations before exporting to PDF. Looking for maintainers.
  ☆238Updated 3 years ago
• KeYProject / key
  KeY Theorem Prover for Deductive Java Verification
  ☆51Updated this week
• dnadales / nix-latex-template
  Nix configuration for reproducible builds of LaTeX documents
  ☆25Updated 3 years ago