Alternatives and similar repositories for segtrees

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

• logsem / iris-tutorial
  ☆51Updated 5 months ago
• LeifAndersen / PLGradSchools
  ☆232Updated 9 months ago
• yeah-tiger / yeah-tiger.github.io
  PL conference deadline countdowns
  ☆60Updated last month
• tchajed / ltac2-tutorial
  Ltac2 tutorial
  ☆45Updated 2 years ago
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆27Updated last year
• uds-psl / autosubst2
  Official repository of the Autosubst 2 project.
  ☆20Updated 2 years ago
• xavierleroy / cdf-mech-sem
  Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
  ☆66Updated last year
• rocq-community / coq-dpdgraph
  Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
  ☆89Updated last month
• damien-pous / coinduction
  coinduction library for Coq
  ☆18Updated last month
• paigenorth / oplss
  Resources for my Homotopy Type Theory course at OPLSS 2023
  ☆10Updated last year
• QinxiangCao / UnifySL
  ☆23Updated 5 years ago
• smtcoq / smtcoq
  Communication between Coq and SAT/SMT solvers
  ☆158Updated 7 months ago
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
  ☆169Updated last week
• rocq-prover / platform-docs
  A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
  ☆20Updated this week
• tchajed / coq-tla
  ☆26Updated last year
• T-Brick / molasses
  MLB support for CM (the SML/NJ Compilation and Library Manager)
  ☆18Updated last year
• siegebell / vscoq
  Coq Support for Visual Studio Code
  ☆92Updated 5 years ago
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆74Updated this week
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆68Updated last year
• tchajed / iris-simp-lang
  We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation …
  ☆51Updated 2 months ago
• plclub / lngen
  Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
  ☆31Updated 6 months ago
• rocq-community / autosubst
  Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
  ☆59Updated 8 months ago
• ufmg-smite / carcara
  ☆37Updated this week
• PrincetonUniversity / compcomp
  Compositional CompCert
  ☆13Updated 6 years ago
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 3 years ago
• tlringer / plugin-tutorial
  Yet another plugin tutorial, this time as an exercise for 598
  ☆38Updated last year
• mattam82 / Coq-Equations
  A function definition package for Coq
  ☆230Updated last week
• uds-psl / coq-library-undecidability
  A library of mechanised undecidability proofs in the Coq proof assistant.
  ☆117Updated last month
• olydis / coq2latex
  A command-line tool to generate Latex (inference rules) from inductive coq definitions.
  ☆29Updated 8 years ago
• plclub / metalib
  The Penn Locally Nameless Metatheory Library
  ☆74Updated last month