Alternatives and similar repositories for segtrees:

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

• yeah-tiger / yeah-tiger.github.io
  PL conference deadline countdowns
  ☆60Updated last month
• LeifAndersen / PLGradSchools
  ☆231Updated 8 months ago
• uds-psl / autosubst2
  Official repository of the Autosubst 2 project.
  ☆20Updated last year
• hkust-taco / mlscript
  The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…
  ☆185Updated this week
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• Beluga-lang / Beluga
  Contextual types meet mechanized metatheory!
  ☆188Updated 8 months ago
• zydeco-lang / zydeco
  a proof-of-concept programming language based on Call-by-push-value
  ☆53Updated 2 weeks ago
• ranjitjhala / sprite-lang
  An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.
  ☆147Updated last year
• rocq-community / coqdocjs
  Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]
  ☆38Updated 8 months ago
• rocq-prover / platform-docs
  A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
  ☆20Updated this week
• T-Brick / molasses
  MLB support for CM (the SML/NJ Compilation and Library Manager)
  ☆18Updated last year
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆27Updated last year
• plclub / cis6700-23sp
  CIS 6700, Spring 2023
  ☆18Updated 2 years ago
• AndrasKovacs / staged
  Staged compilation with dependent types
  ☆171Updated this week
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆370Updated 3 months ago
• mattam82 / Coq-Equations
  A function definition package for Coq
  ☆229Updated 2 weeks ago
• HoTT / EPIT-2020
  EPIT 2020 - Spring School on Homotopy Type Theory
  ☆105Updated 3 years ago
• tchajed / ltac2-tutorial
  Ltac2 tutorial
  ☆45Updated 2 years ago
• rocq-prover / vscoq
  Visual Studio Code extension for Coq
  ☆377Updated last week
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆254Updated 2 months ago
• smtcoq / smtcoq
  Communication between Coq and SAT/SMT solvers
  ☆158Updated 7 months ago
• LPTK / simple-sub
  Alternative algorithm for algebraic subtyping.
  ☆161Updated last month
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆72Updated last year
• PrAbsInt / appendix
  Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…
  ☆41Updated 3 years ago
• QinxiangCao / UnifySL
  ☆23Updated 5 years ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆85Updated 3 weeks ago
• chasenorman / CanonicalLean
  A Lean tactic for Canonical, a search procedure for terms in dependent type theory.
  ☆29Updated last week
• plclub / lngen
  Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
  ☆31Updated 6 months ago
• RedPRL / cooltt
  😎TT
  ☆225Updated last year
• xavierleroy / cdf-mech-sem
  Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
  ☆65Updated last year