Alternatives and similar repositories for glabs

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

• IPDSnelting / velcom
  Continuous benchmarking
  ☆18Updated 3 weeks ago
• hargoniX / socket.lean
  sockets for Lean 4
  ☆20Updated last month
• viperproject / smt-scope
  SMTscope automatically analyses and visualises SMT solver execution traces.
  ☆41Updated 4 months ago
• rocq-community / templates
  Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
  ☆15Updated last month
• ls1intum / thesis-management
  Say Goodbye to Email Chaos: A Smarter Way to Manage Theses
  ☆12Updated this week
• david-christiansen / ssft24
  ☆19Updated last year
• ufmg-smite / carcara
  ☆39Updated this week
• xubaiw / Socket.lean
  A toy implementation of socket programming for Lean 4.
  ☆27Updated 2 years ago
• toku-sa-n / coqfmt
  Coq code formatter
  ☆24Updated this week
• leanprover / reservoir
  Package registry for Lean/Lake.
  ☆21Updated last month
• rocq-community / coq-nix-toolbox
  Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
  ☆44Updated this week
• AeneasVerif / scylla
  Scylla, a tool for translating ultra-regular C code to Safe Rust
  ☆14Updated 2 months ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆37Updated 9 months ago
• sgraf812 / mpl
  A prototype for a monadic program logic in Lean that has since been upstreamed into the Lean 4 repo
  ☆37Updated last month
• lengyijun / goldbach_tm
  ☆25Updated 6 months ago
• digama0 / lean-sys
  Rust bindings for the Lean 4 proof assistant
  ☆28Updated 5 months ago
• proost-assistant / ProostLean
  An reimplementation of the Proost proof-assistant written in Lean 4
  ☆12Updated last year
• leanprover-community / plausible
  ☆52Updated 2 weeks ago
• hopv / rust-horn
  RustHorn: A CHC-based automated verifier for Rust
  ☆84Updated 4 months ago
• Stavan-Jain / linear_algebra_game
  Building the linear algebra game!
  ☆10Updated 8 months ago
• leanprover / LNSym
  Armv8 Native Code Symbolic Simulator in Lean
  ☆85Updated 8 months ago
• JasonGross / coq-tools
  Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.
  ☆42Updated this week
• leanprover-community / iris-lean
  Lean 4 port of Iris, a higher-order concurrent separation logic framework
  ☆109Updated last week
• siddhartha-gadgil / Saturn
  Experiments with SAT solvers with proofs in Lean 4
  ☆58Updated last year
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
  ☆183Updated last week
• lthms / FreeSpec
  A framework for implementing and certifying impure computations in Coq
  ☆52Updated last year
• strata-org / Strata
  ☆51Updated this week
• rocq-community / docker-coq-action
  GitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]
  ☆13Updated 4 months ago
• leanprover / reference-manual
  The Lean reference manual
  ☆75Updated this week
• tlringer / plugin-tutorial
  Yet another plugin tutorial, this time as an exercise for 598
  ☆38Updated 2 years ago