Alternatives and similar repositories for glabs:

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

• moepinet / moeptikz
  TikZ library for network shapes such as routers, switches, etc.
  ☆47Updated 8 years ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆35Updated 2 months ago
• lthms / FreeSpec
  A framework for implementing and certifying impure computations in Coq
  ☆52Updated last year
• marcelropos / HM-DiscordBot
  A Discordbot by and for first semester students of HM.
  ☆8Updated 9 months ago
• xubaiw / Socket.lean
  A toy implementation of socket programming for Lean 4.
  ☆26Updated last year
• david-christiansen / ssft24
  ☆15Updated 7 months ago
• Julian / lftim
  Mathematical learnings with Lean, for those of us who wish we knew more of both!
  ☆10Updated 2 years ago
• curry-club-aux / curry-club-augsburg.de
  Our Website
  ☆17Updated 2 years ago
• coq-community / templates
  Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
  ☆13Updated 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)
  ☆40Updated 3 months ago
• leanprover / SHerLOC
  A StableHLO analyzer in Lean
  ☆15Updated 3 months ago
• bobatkey / interactive-natural-deduction
  An editor for interactively building natural deduction proofs
  ☆20Updated 6 years ago
• IPDSnelting / velcom
  Continuous benchmarking
  ☆14Updated last week
• leanprover / reservoir
  Package registry for Lean/Lake.
  ☆17Updated this week
• jaspervdj / uplcg
  Untitled PL Card Game
  ☆20Updated 3 years ago
• rems-project / lem
  Lem semantic definition language
  ☆134Updated last month
• dnadales / nix-latex-template
  Nix configuration for reproducible builds of LaTeX documents
  ☆25Updated 3 years ago
• KalkulierbaR / kalkulierbar
  Learning Framework for Logic Calculi
  ☆16Updated this week
• Mtac2 / Mtac2
  ☆51Updated last month
• goldfirere / video-resources
  Resources to look at in concert with my Haskell videos
  ☆15Updated 2 years ago
• brownsys / paralegal
  Statically Enforce Privacy and Security Policies on Rust code using dataflow analysis enhanced by exploiting ownership types. You can sig…
  ☆15Updated 2 weeks ago
• leanprover-community / plausible
  ☆28Updated this week
• snu-sf / paco
  A Coq library for parametric coinduction
  ☆44Updated 2 weeks ago
• rocq-archive / coq-in-coq
  A formalisation of the Calculus of Constructions
  ☆66Updated 5 months ago
• Gbury / dolmen
  Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
  ☆80Updated 3 months ago
• leanprover / reference-manual
  ☆40Updated this week
• DeepSpec / dsss18
  Lecture material for DeepSpec Summer School 2018
  ☆68Updated 6 years ago
• informatiCup / informatiCup2020
  Pandemie!
  ☆20Updated 2 years ago
• epfl-systemf / RegElk
  Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at…
  ☆12Updated 7 months ago
• stefanhepp / pplatex
  Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages
  ☆95Updated 2 months ago