Category theory but for kitty cats, meow 🐱🐈
☆42Feb 16, 2026Updated 8 months ago
Alternatives and similar repositories for kitty-cats
Users that are interested in kitty-cats are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A toy nanopass compiler for x86 written in lean☆15Oct 25, 2025Updated last year
- Lean formalization of selected lemmas from "Term Rewriting and All That"☆18Apr 20, 2026Updated 6 months ago
- Semantic Type Soundness in Lean 4☆19Sep 28, 2026Updated last month
- Simply Typed Lambda Calculus with de Bruijn indices☆19Oct 9, 2026Updated 3 weeks ago
- Vermilion: Verus meets Lean☆62Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Proof infrastructure about LTL in Lean 4☆40Oct 13, 2026Updated 2 weeks ago
- ☆20Sep 9, 2026Updated last month
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated 2 years ago
- A small parallel Lean 4 typechecker based on unbound de Bruijn indexes☆14Updated this week
- A formalization of Shannon's seminal 1948 paper defining entropy.☆17Mar 2, 2026Updated 7 months ago
- La-MIR is a benchmarking framework to evaluate and analyze the ability of LLMs to understand compiler Intermediate Representation (IR).☆13May 23, 2025Updated last year
- Library implementing type inference/checking functionality based on the Lean theorem prover☆222Updated this week
- Python versioned abstract syntax trees and interface to the Python parser☆13Oct 28, 2022Updated 4 years ago
- System FR: Formalized Foundations for Stainless☆12Feb 2, 2026Updated 8 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Python API for lightweight communication with the Rocq proof assistant☆21Apr 18, 2026Updated 6 months ago
- ☆34Jun 15, 2025Updated last year
- ☆11Mar 8, 2025Updated last year
- Rebourne Again Shell☆15Feb 19, 2018Updated 8 years ago
- A mutual induction tactic for Lean 4.☆33Sep 17, 2026Updated last month
- Lecture notes, exercises, homeworks for Brown CS1951x 2023☆13Jan 31, 2024Updated 2 years ago
- A tool to connect SMT-based frontends to Lean4.☆20Oct 21, 2026Updated last week
- Lean4 Tutorial/Notes on creating FFI bindings with GLFW as an example.☆43Aug 25, 2025Updated last year
- A collection of type-based library search algorithms☆12Sep 8, 2026Updated last month
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- From Zero to QED: An informal introduction to formality with Lean 4☆128Oct 17, 2026Updated last week
- A multiprocessing-friendly Python mock object☆10Aug 31, 2017Updated 9 years ago
- Leaff is a diff tool for Lean environments☆26Jan 18, 2025Updated last year
- ☆12May 14, 2023Updated 3 years ago
- Nola: Later-Free Ghost State for Verifying Termination in Iris☆10Aug 2, 2025Updated last year
- ☆10Jan 11, 2019Updated 7 years ago
- A formally verified implementation of differential dynamic logic in Coq☆22May 16, 2022Updated 4 years ago
- A game introducing proofs, dependent type theory, and Lean prepared for a first year seminar course at Johns Hopkins in Fall 2025.☆73Updated this week
- The source of Walnut☆10Oct 22, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Printable (A4) overview of tactics in Lean 4 for beginners☆34Sep 19, 2024Updated 2 years ago
- linear algebra done right in coq☆11Apr 6, 2021Updated 5 years ago
- Lecture: Practical SAT Solving (ST 2025)☆13Jul 1, 2026Updated 3 months ago
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆15Dec 11, 2024Updated last year
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Jul 7, 2023Updated 3 years ago
- math puzzles from various sources, formalized in Lean☆10Oct 21, 2023Updated 3 years ago
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago