abigalekim / segtrees
Several translations of segment trees for CMU's 15-451 (Algorithms).
☆21Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for segtrees
- PL conference deadline countdowns☆52Updated 2 weeks ago
- ☆25Updated this week
- A stepping debugger for Standard ML (SML)☆23Updated 9 months ago
- a proof-of-concept programming language based on Call-by-push-value☆49Updated this week
- ☆24Updated 4 years ago
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆64Updated 7 months ago
- Official repository of the Autosubst 2 project.☆17Updated last year
- Coq code formatter☆21Updated this week
- ☆23Updated last month
- Staged compilation with dependent types☆163Updated 2 weeks ago
- MLB support for CM (the SML/NJ Compilation and Library Manager)☆18Updated last year
- Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]☆37Updated 3 months ago
- Visual Studio Code extension for Coq☆344Updated this week
- Coq Protocol Playground with Se(xp)rialization of Internal Structures.☆128Updated last week
- Experiments in automation for Lean☆73Updated this week
- Communication between Coq and SAT/SMT solvers☆156Updated 2 months ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆236Updated 2 months ago
- Ltac2 tutorial☆42Updated 2 years ago
- Visual Studio Code Extension and Language Server Protocol for Coq☆152Updated last week
- A function definition package for Coq☆223Updated last week
- A Language with Dependent Data and Codata Types☆58Updated this week
- Benchmarking various normalization algorithms for the lambda calculus☆43Updated 2 years ago
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆19Updated 2 weeks ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 2 years ago
- The Penn Locally Nameless Metatheory Library☆71Updated 4 months ago
- agda-mode on VS Code☆170Updated this week
- A Library for Representing Recursive and Impure Programs in Coq☆204Updated last month
- A library of mechanised undecidability proofs in the Coq proof assistant.☆111Updated last month
- ☆223Updated 3 months ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Updated last year