Alternatives and similar repositories for segtrees

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

• LeifAndersen / PLGradSchools
  ☆233Updated last year
• yeah-tiger / yeah-tiger.github.io
  PL conference deadline countdowns
  ☆62Updated last month
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 3 years ago
• bzhan / auto2
  A best-first-search theorem prover implemented in Isabelle
  ☆34Updated 3 years ago
• smtcoq / smtcoq
  Communication between Coq and SAT/SMT solvers
  ☆160Updated 3 weeks ago
• choukh / Set-Theory
  A formalization of the textbook Elements of Set Theory
  ☆59Updated 4 years ago
• molikto / mlang
  Towards changing things and see if it proofs
  ☆60Updated 4 years ago
• xavierleroy / cdf-mech-sem
  Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
  ☆68Updated last year
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆275Updated last month
• tchajed / ltac2-tutorial
  Ltac2 tutorial
  ☆46Updated 2 years ago
• HoTT-Intro / Agda
  Agda formalisation of the Introduction to Homotopy Type Theory
  ☆124Updated 3 years ago
• ice1k / ConsHoTT
  Constructive Interpretations of HoTT
  ☆36Updated 5 years ago
• rocq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆218Updated 3 months ago
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆179Updated 3 weeks ago
• RobertHarper / hott-notes
  15-819 (Homotopy Type Theory) Lecture Notes
  ☆56Updated 5 years ago
• uds-psl / coq-library-undecidability
  A library of mechanised undecidability proofs in the Coq proof assistant.
  ☆124Updated last month
• HoTT / EPIT-2020
  EPIT 2020 - Spring School on Homotopy Type Theory
  ☆107Updated 4 years ago
• rocq-community / coq-dpdgraph
  Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
  ☆93Updated last month
• arthuraa / coq-utils
  Some basic libraries for Coq.
  ☆14Updated last month
• mattam82 / Coq-Equations
  A function definition package for Coq
  ☆233Updated 2 weeks ago
• jozefg / higher-order-unification
  A small implementation of higher-order unification
  ☆192Updated 8 years ago
• foreverbell / verified
  Coq formalizations and proofs of (data) structures and algorithms.
  ☆47Updated 7 years ago
• T-Brick / molasses
  MLB support for CM (the SML/NJ Compilation and Library Manager)
  ☆18Updated 4 months ago
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆355Updated this week
• uds-psl / autosubst2
  Official repository of the Autosubst 2 project.
  ☆24Updated 2 years ago
• rocq-community / graph-theory
  Graph Theory [maintainers=@chdoc,@damien-pous]
  ☆39Updated last month
• Beluga-lang / Beluga
  Contextual types meet mechanized metatheory!
  ☆200Updated 2 weeks ago
• rocq-community / autosubst
  Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
  ☆63Updated last year
• uds-psl / MPCTT
  Modeling and Proving in Computational Type Theory
  ☆117Updated 2 months ago
• logsem / iris-tutorial
  ☆56Updated last month