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:
- Like APL, but with emojis☆15Mar 28, 2022Updated 3 years ago
- Semantic find-and-replace using tree-sitter-based macro expansion!☆16Mar 31, 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 4 months ago
- Hanoi tower in Coq☆26Jan 29, 2026Updated last month
- Interactive holes for Lean 4☆22Apr 19, 2024Updated last year
- 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
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆31May 10, 2023Updated 2 years ago
- Archived since the contents have been moved to the Hydras & Co. repository☆30Oct 23, 2022Updated 3 years ago
- ☆33Jun 15, 2025Updated 8 months ago
- SampCert : Verified Differential Privacy☆91May 1, 2025Updated 10 months ago
- Building the linear algebra game!☆10Dec 2, 2024Updated last year
- Template for a (PhD) thesis☆11Nov 5, 2025Updated 4 months ago
- ☆10Dec 6, 2022Updated 3 years ago
- "DeBruijn to SKI" Untyped language that compiles to Unlambda☆10Dec 11, 2020Updated 5 years ago
- My solutions to exercises in "Logical Foundations" (2018-2019)☆11Apr 11, 2019Updated 6 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated last year
- A generative visual sequencer instrument for monome norns☆12May 9, 2023Updated 2 years ago
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- ☆12Jun 28, 2024Updated last year
- A simple game engine using Gtk & Cairo☆14Aug 4, 2020Updated 5 years ago
- LLVM support for the lean theorem prover☆53Sep 14, 2021Updated 4 years ago
- The Rookie Text Analysis System☆10Dec 8, 2022Updated 3 years ago
- Benchmarking framework for Clojure☆10Feb 27, 2019Updated 7 years ago
- Access the Web Cryptography API with a WebView☆12Feb 17, 2026Updated 2 weeks ago
- Simple dependency injection container with some state handling functions (for facebook flux-like state-management)☆12Nov 2, 2017Updated 8 years ago
- Help you digest the Vega output in a dead simple way.☆14Jul 27, 2022Updated 3 years ago
- Formalising lecture notes from 1st year Imperial Mathematics course.☆14May 18, 2020Updated 5 years ago
- Example datasets and dashboards known to work well in OmniSci☆15Sep 25, 2020Updated 5 years ago
- A collection of early releases and historical source codes. Because every journey has a beginning☆14May 14, 2014Updated 11 years ago
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Mar 26, 2020Updated 5 years ago
- Cytoscape.js API support in JS, Python, and R Jupyter kernels☆10Nov 11, 2017Updated 8 years ago
- ☆12Nov 24, 2021Updated 4 years ago
- Exploring Audio Possibilities of WebGPU☆12Jan 31, 2024Updated 2 years ago
- Brainstorm how to make scientific Python ecosystem faster☆11Jul 19, 2024Updated last year
- Closure calculus implementation☆12Jun 25, 2019Updated 6 years ago
- Rust implementation of Ray Tracing in One Weekend☆12Jul 17, 2020Updated 5 years ago
- A LaTeX template for Bachelor or Master theses☆12Jun 10, 2022Updated 3 years ago
- Highly-configurable and modular arm32 operating system created from scratch☆13Jun 9, 2020Updated 5 years ago