Learn Lean 4 by fixing 70 small exercises, one at a time
☆27Sep 8, 2026Updated last month
Alternatives and similar repositories for leanlings
Users that are interested in leanlings are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆22Updated this week
- ☆12Apr 23, 2026Updated 5 months ago
- ☆14Apr 14, 2025Updated last year
- A TLA+ specification for the Xen vchan protocol☆15Jan 7, 2026Updated 9 months ago
- Trusted Timestamping Framework for Scientific Research☆16Sep 23, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Lean 4 formalization of Knuth's 'Claude's Cycles' paper☆16Aug 26, 2026Updated last month
- Key Transparency Auditor for Signal☆18May 28, 2026Updated 4 months ago
- Terraform Okta ASA provider☆14Oct 25, 2022Updated 3 years ago
- Visual Studio Code Extension to preview Diagrams (Diagram as a Code)☆10Oct 16, 2023Updated 3 years ago
- ☆18Dec 8, 2025Updated 10 months ago
- Formally Verified Float Implementation with lean4☆24Sep 12, 2026Updated last month
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆21Mar 18, 2025Updated last year
- Interactive Mojo integration for Python notebooks - three patterns for running high-performance Mojo code from marimo☆13Sep 6, 2026Updated last month
- Docker wrapper for GraphQL voyager☆11Dec 8, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- hgg — Haskell Grammar of Graphics (declarative plotting).☆21Aug 13, 2026Updated 2 months ago
- An explainer to propose how the WebCrypto API can be extended to support Hardware Backed keys☆23Jun 6, 2025Updated last year
- Infrastructure as Code example for deploying infrastructure to multiple regions in AWS using Terraform☆12Jan 13, 2020Updated 6 years ago
- Experiment with, and provide examples for, PureScript's validation library☆14Dec 4, 2017Updated 8 years ago
- Cracking 2DES using a meet-in-the-middle attack implemented in python 3.☆15Sep 27, 2015Updated 11 years ago
- ☆14Jan 29, 2019Updated 7 years ago
- Domino: Computer-Assisted Game-Hopping for Large-Scale Protocols☆19Updated this week
- A tool for verifying transitions in cryptographic game-hopping proofs☆24Oct 5, 2026Updated 2 weeks ago
- halo2-lib-eddsa☆11Feb 2, 2024Updated 2 years 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.
- ☆11Jan 4, 2023Updated 3 years ago
- A free non-credit course titled Blockchain and Cryptocurrencies. The lectures will be once a week and ran by B@C officers, industry leade…☆19Nov 10, 2018Updated 7 years ago
- Add support for PureScript components to Gatsby☆12Mar 4, 2023Updated 3 years ago
- Haskell Makefile parser☆13Nov 14, 2025Updated 11 months ago
- ☆12Sep 5, 2022Updated 4 years ago
- Kernel based chat system.☆19Nov 4, 2016Updated 9 years ago
- Automated, schema-based JSON unpacking to Polars objects☆13Sep 14, 2025Updated last year
- Git wrapper with a streamlined UX☆12Mar 2, 2025Updated last year
- A Golang package for simplifying storing configuration in the OS-provided secret manager.☆16Jan 24, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A Rust library for the preprocessing zkSNARK of Groth and Maller☆13Oct 29, 2024Updated last year
- A powerful, type-safe dimensional analysis library in Mojo☆16Sep 25, 2026Updated 3 weeks ago
- A formally verified symbolic cryptography library for Lean☆19Feb 18, 2026Updated 8 months ago
- A generalist AI agent☆26Sep 6, 2026Updated last month
- A tool for linear and differential cryptanalysis of block ciphers written in Rust☆15Sep 28, 2022Updated 4 years ago
- The infrastructure that is used for DownUnderCTF blockchain challenges☆14Jun 2, 2024Updated 2 years ago
- Simple string substitution for Haskell.☆15May 8, 2018Updated 8 years ago