abigalekim / segtreesLinks
Several translations of segment trees for CMU's 15-451 (Algorithms).
☆21Updated 4 years ago
Alternatives and similar repositories for segtrees
Users that are interested in segtrees are comparing it to the libraries listed below
Sorting:
- PL conference deadline countdowns☆60Updated this week
- ☆233Updated 10 months ago
- ☆52Updated 6 months ago
- Staged compilation with dependent types☆177Updated last month
- A stepping debugger for Standard ML (SML)☆26Updated last year
- agda-mode on VS Code☆176Updated this week
- ☆23Updated 5 years ago
- Contextual types meet mechanized metatheory!☆191Updated last month
- "Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory☆210Updated 3 years ago
- MLB support for CM (the SML/NJ Compilation and Library Manager)☆18Updated last month
- The Ott tool for writing definitions of programming languages and calculi☆376Updated 5 months ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆263Updated 4 months ago
- Ltac2 tutorial☆45Updated 2 years ago
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆66Updated last year
- EPIT 2020 - Spring School on Homotopy Type Theory☆107Updated 3 years ago
- Modeling and Proving in Computational Type Theory☆101Updated 2 weeks ago
- 15-819 (Homotopy Type Theory) Lecture Notes☆55Updated 4 years ago
- CS 704 course website - Principles of Programming Languages☆67Updated 2 years ago
- Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]☆90Updated 3 weeks ago
- A monadic library for symbolic evaluation☆67Updated 2 weeks ago
- Types and Programming Languages☆38Updated 10 years ago
- Visual Studio Code extension for Coq☆391Updated 2 weeks ago
- The agda-unimath library☆257Updated this week
- Formal verification for OCaml☆264Updated 10 months ago
- A proof assistant for higher-dimensional type theory☆200Updated last week
- The Vellvm (Verified LLVM) coq development.☆435Updated this week
- A Library for Representing Recursive and Impure Programs in Coq☆225Updated last week
- Agda formalisation of the Introduction to Homotopy Type Theory☆124Updated 3 years ago
- Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]☆59Updated 9 months ago
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆21Updated 2 weeks ago