Alternatives and similar repositories for glabs:

Users that are interested in glabs are comparing it to the libraries listed below

• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆35Updated 3 months ago
• moepinet / moeptikz
  TikZ library for network shapes such as routers, switches, etc.
  ☆49Updated 8 years ago
• coq-community / templates
  Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
  ☆13Updated 2 months ago
• KalkulierbaR / kalkulierbar
  Learning Framework for Logic Calculi
  ☆16Updated this week
• david-christiansen / ssft24
  ☆16Updated 8 months ago
• Gricad / nix-ciment-channel
  The CIMENT (Gricad-calcul) Nix channel
  ☆20Updated 5 years ago
• leanprover-community / plausible
  ☆30Updated 2 weeks ago
• toku-sa-n / coqfmt
  Coq code formatter
  ☆22Updated this week
• ltentrup / caqe
  CAQE is a solver for quantified Boolean formulas
  ☆31Updated last year
• informatiCup / informatiCup2020
  Pandemie!
  ☆20Updated 2 years ago
• lthms / FreeSpec
  A framework for implementing and certifying impure computations in Coq
  ☆52Updated last year
• coq-community / coqffi
  Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]
  ☆35Updated last year
• leanprover-community / duper
  ☆61Updated this week
• leanprover-community / doc-gen
  Generate HTML documentation for mathlib and Lean
  ☆21Updated 4 months ago
• dbsystel / open-source-policies
  DB Systel Open Source Policies
  ☆25Updated last month
• gi-ev / LNI
  A LaTeX class for submissions to the “Lecture Notes in Informatics” (LNI) published by the German “Gesellschaft für Informatik” (GI)
  ☆41Updated last week
• coq-community / coq-nix-toolbox
  Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
  ☆36Updated this week
• leanprover / reference-manual
  The Lean reference manual
  ☆47Updated this week
• BSI-Bund / TaSK
  The "TaSK Framework" is a configurable test tool for performing TLS conformity tests based on the Technical Guideline TR-03116-TS.
  ☆131Updated last year
• coq-community / graph-theory
  Graph Theory [maintainers=@chdoc,@damien-pous]
  ☆36Updated this week
• verus-lang / verus-analyzer
  A Verus compiler front-end for IDEs (derived from rust-analyzer)
  ☆15Updated this week
• 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
• hargoniX / socket.lean
  sockets for Lean 4
  ☆18Updated 7 months ago
• leanprover / reservoir
  Package registry for Lean/Lake.
  ☆17Updated last month
• dupuisf / BibtexQuery
  A simple command-line bibtex query utility written in Lean 4
  ☆11Updated last week
• leanprover / leansat
  This package provides an interface and foundation for verified SAT reasoning
  ☆51Updated 5 months ago
• IPDSnelting / velcom
  Continuous benchmarking
  ☆14Updated last month
• SkiFire13 / typst-prooftree
  Prooftrees for Typst - Inspired by Latex's bussproofs
  ☆19Updated 9 months ago
• blanchette / logical_verification_2022
  Logical Verification 2022-2023 course at VU Amsterdam
  ☆18Updated last year
• ufmg-smite / carcara
  ☆34Updated this week