quinn-dougherty / ladrView external linksLinks
linear algebra done right in coq
☆11Apr 6, 2021Updated 4 years ago
Alternatives and similar repositories for ladr
Users that are interested in ladr are comparing it to the libraries listed below
Sorting:
- Semantic find-and-replace using tree-sitter-based macro expansion!☆16Mar 31, 2022Updated 3 years ago
- Like APL, but with emojis☆15Mar 28, 2022Updated 3 years ago
- Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to re…☆16Oct 20, 2025Updated 3 months ago
- Interactive holes for Lean 4☆22Apr 19, 2024Updated last year
- Hanoi tower in Coq☆26Jan 29, 2026Updated 2 weeks ago
- Formalization of the basic actuarial mathematics using Coq☆22Dec 11, 2024Updated last year
- Generate Elm client libraries from Servant API definitions.☆29May 26, 2023Updated 2 years ago
- Archived since the contents have been moved to the Hydras & Co. repository☆30Oct 23, 2022Updated 3 years ago
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆31May 10, 2023Updated 2 years ago
- ☆33Jun 15, 2025Updated 8 months ago
- SampCert : Verified Differential Privacy☆90May 1, 2025Updated 9 months ago
- Building the linear algebra game!☆10Dec 2, 2024Updated last year
- Template for a (PhD) thesis☆10Nov 5, 2025Updated 3 months ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- A simple game engine using Gtk & Cairo☆14Aug 4, 2020Updated 5 years ago
- ☆12Jun 28, 2024Updated last year
- A generative visual sequencer instrument for monome norns☆12May 9, 2023Updated 2 years ago
- ☆10Dec 6, 2022Updated 3 years ago
- My solutions to exercises in "Logical Foundations" (2018-2019)☆11Apr 11, 2019Updated 6 years ago
- "DeBruijn to SKI" Untyped language that compiles to Unlambda☆10Dec 11, 2020Updated 5 years ago
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- LLVM support for the lean theorem prover☆53Sep 14, 2021Updated 4 years ago
- A Whisper to TextGrid script that I use to automatize Corpus Annotation on Praat, with speaker diarization.☆13Nov 14, 2023Updated 2 years ago
- The Rookie Text Analysis System☆10Dec 8, 2022Updated 3 years ago
- Brainstorm how to make scientific Python ecosystem faster☆11Jul 19, 2024Updated last year
- A LaTeX template for Bachelor or Master theses☆12Jun 10, 2022Updated 3 years ago
- A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.☆11Jul 16, 2025Updated 7 months ago
- Highly-configurable and modular arm32 operating system created from scratch☆13Jun 9, 2020Updated 5 years ago
- The Vega, Vega-Lite and Vega-Altair Roadmap☆12Apr 14, 2024Updated last year
- GHCJS binding for three.js☆10Nov 23, 2017Updated 8 years ago
- ☆14Oct 16, 2025Updated 4 months ago
- Access the Web Cryptography API with a WebView☆12Jan 25, 2026Updated 3 weeks ago
- VS Code extension for Duffle, the CNAB installer☆14Apr 29, 2023Updated 2 years ago
- Automatically derive bindings for Servant APIs in Reason☆12Jun 1, 2019Updated 6 years ago
- An experiment in trying to define a core and cleaned-up NumPy API: RNumPy☆13Feb 19, 2021Updated 4 years ago
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆17Jul 10, 2025Updated 7 months ago
- A collection of early releases and historical source codes. Because every journey has a beginning☆14May 14, 2014Updated 11 years ago
- Auto math prover.☆11Jul 10, 2024Updated last year
- NeWS clone (very work in progress).☆11Oct 25, 2016Updated 9 years ago