abigalekim / segtrees
Several translations of segment trees for CMU's 15-451 (Algorithms).
☆21Updated 3 years ago
Alternatives and similar repositories for segtrees:
Users that are interested in segtrees are comparing it to the libraries listed below
- PL conference deadline countdowns☆55Updated last week
- A stepping debugger for Standard ML (SML)☆24Updated last year
- A function definition package for Coq☆226Updated 2 weeks ago
- CS 704 course website - Principles of Programming Languages☆67Updated 2 years ago
- Ltac2 tutorial☆43Updated 2 years ago
- ☆227Updated 6 months ago
- Modeling and Proving in Computational Type Theory☆88Updated 7 months ago
- ☆40Updated 2 months ago
- Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]☆89Updated this week
- Visual Studio Code extension for Coq☆362Updated this week
- Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott☆30Updated 3 months ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆249Updated 2 months ago
- Contextual types meet mechanized metatheory!☆186Updated 6 months ago
- CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory☆225Updated 2 months ago
- MLB support for CM (the SML/NJ Compilation and Library Manager)☆18Updated last year
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆41Updated 3 years ago
- A work-in-progress language and compiler for verified low-level programming☆302Updated last week
- Metaprogramming, verified meta-theory and implementation of Coq in Coq☆420Updated this week
- Coq plugin embedding elpi☆163Updated this week
- Resources for my Homotopy Type Theory course at OPLSS 2023☆10Updated last year
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…☆139Updated 4 months ago
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆21Updated this week
- CIS 6700, Spring 2023☆17Updated 2 years ago
- We combat sloppy arguments in competitive programming and raise the standard of rigor☆22Updated 2 months ago
- The Penn Locally Nameless Metatheory Library☆74Updated 7 months ago
- Formal verification for OCaml☆257Updated 6 months ago
- The Ott tool for writing definitions of programming languages and calculi☆361Updated last month
- a proof-of-concept programming language based on Call-by-push-value☆53Updated 3 weeks ago
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆64Updated 10 months ago
- EGraphs in OCaml☆65Updated last year