Alternatives and similar repositories for glabs

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

• leanprover / velcom
  Continuous benchmarking
  ☆19Updated last month
• david-christiansen / ssft24
  ☆19Updated last year
• rocq-community / templates
  Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
  ☆16Updated 3 months ago
• verus-lang / verus-analyzer
  A Verus compiler front-end for IDEs (derived from rust-analyzer)
  ☆24Updated last week
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆37Updated 11 months ago
• epfl-systemf / RegElk
  Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at…
  ☆18Updated last year
• AeneasVerif / scylla
  Scylla, a tool for translating ultra-regular C code to Safe Rust
  ☆20Updated 4 months ago
• ipdl / ipdl
  ☆10Updated 2 years ago
• jakobwesthoff / Pdf-Presenter-Console
  A Keynote like presenter console with multi-monitor support and the ability to read PDF as input files.
  ☆95Updated 9 years ago
• viperproject / smt-scope
  SMTscope automatically analyses and visualises SMT solver execution traces.
  ☆42Updated this week
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆89Updated this week
• 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
• christophstockhusen / exercisesheet
  Automatically exported from code.google.com/p/exercisesheet
  ☆11Updated 9 years ago
• rocq-community / coq-nix-toolbox
  Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
  ☆46Updated this week
• lthms / FreeSpec
  A framework for implementing and certifying impure computations in Coq
  ☆53Updated last year
• toku-sa-n / coqfmt
  Coq code formatter
  ☆23Updated 2 weeks ago
• rust-formal-methods / wg
  ☆22Updated 3 years ago
• hopv / hoice
  An ICE-based predicate synthesizer for Horn clauses.
  ☆50Updated 4 months ago
• stefanhepp / pplatex
  Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages
  ☆99Updated 5 months ago
• Inria-Prosecco / StarMalloc
  A verified, modern, hardened memory allocator. [maintainer=@cmovcc]
  ☆36Updated 2 months ago
• ufmg-smite / carcara
  ☆39Updated 2 weeks ago
• ejgallego / rocq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
  ☆188Updated last week
• IagoAbal / haskell-z3
  Haskell bindings to Microsoft's Z3 API (unofficial).
  ☆62Updated last year
• rust-formal-methods / rust-formal-methods.github.io
  ☆12Updated last week
• proost-assistant / ProostLean
  An reimplementation of the Proost proof-assistant written in Lean 4
  ☆12Updated last year
• Mtac2 / Mtac2
  ☆55Updated 2 weeks ago
• leanprover-community / iris-lean
  Lean 4 port of Iris, a higher-order concurrent separation logic framework
  ☆124Updated last week
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆101Updated this week
• xubaiw / Socket.lean
  A toy implementation of socket programming for Lean 4.
  ☆28Updated 2 years ago
• verus-lang / verified-memory-allocator
  A memory allocator verified with Verus
  ☆23Updated 2 months ago