Cloud programming for Lean
☆29Nov 1, 2026Updated this week
Alternatives and similar repositories for lean-cloud
Users that are interested in lean-cloud 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 tool to connect SMT-based frontends to Lean4.☆21Updated this week
- Mostly Automated Proof Repair for Verified Libraries☆16Jun 1, 2023Updated 3 years ago
- Parallel, fused reducers for Lean 4☆16Oct 19, 2026Updated 2 weeks ago
- Captive portal authenticator Subgraph OS☆11Mar 13, 2017Updated 9 years ago
- Lean 4 Markdown rendering library — types, rendering functions, and Represent typeclass☆14Jul 16, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A collaborative bibliography of papers related to property-based testing☆37Updated this week
- Scripts to assist in chrooting Tor on various platforms☆10Dec 13, 2015Updated 10 years ago
- A Tokio-inspired concurrency library and work-stealing scheduler for Lean 4, with machine-checked proofs.☆33Updated this week
- A Job Board for Formal Verification☆96Updated this week
- Mirror of my Go Kyber implementation.☆16May 30, 2018Updated 8 years ago
- A coding challenge to learn Rust☆14Oct 19, 2017Updated 9 years ago
- Plutus Core, CEK Machine in Lean 4, tailored for Blaster usage☆15Updated this week
- Repository holding releases of our work on the formal verification of x86 binaries.☆18Updated this week
- ☆16Aug 31, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Parser Library in Coq to help outsource implementation and proof to AI☆18Sep 10, 2026Updated last month
- A curated list of AI-native products: apps and tools where the LLM is the product itself, not a bolted-on feature.☆19Updated this week
- A Rational Defense of Reasonable Reflection (LICS'26 Keynote)☆10Jul 21, 2026Updated 3 months ago
- Quantum Insert/FoxAcid case study☆16May 18, 2017Updated 9 years ago
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆22Updated this week
- A VS Code extension that provides language support for prolog☆17Mar 2, 2025Updated last year
- F# Extensions and modules around Dictionary<'T>☆11Updated this week
- Idiomatic F# support for CliWrap☆14Updated this week
- WybeCoder Verified Generation of Imperative Code with LLMs☆42May 6, 2026Updated 5 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A hyperintensional theorem prover for rapidly prototyping modular semantic theories☆14Oct 15, 2026Updated 3 weeks ago
- Random variate generation library in C☆10Oct 21, 2026Updated 2 weeks ago
- Evaluating Program Reasoning of LLMs via Formal Specification Inference (ACL 2025)☆20Sep 21, 2025Updated last year
- A framework for scalable, distributed discovery systems.☆15Jul 8, 2026Updated 3 months ago
- An intermediate verification language☆30Jan 4, 2026Updated 10 months ago
- Model Checking for Industrial Programmers with TLA+☆19May 22, 2026Updated 5 months ago
- Proof Annotation Language: inline Pulse annotations for C☆14Updated this week
- HTTP proxy with per user download quotas☆10Feb 24, 2023Updated 3 years ago
- ☆12Feb 4, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Effect monads with specifications (DIjkstra Monads) in Lean 4☆12Feb 18, 2024Updated 2 years ago
- The first decentralized marketplace for human-AI economic collaboration, on Arbitrum One☆11Oct 20, 2026Updated 2 weeks ago
- Based on lectures on the LLM-Verifier Interface at the Summer School on Foundations of Programming and Software Systems (FoPSS 2026)☆17Jul 14, 2026Updated 3 months ago
- The Cubicle model checker☆14May 29, 2026Updated 5 months ago
- A certified RISC-V Interpreter with Hoare-logic in Lean☆23Aug 11, 2026Updated 2 months ago
- Benchmark for agentic spatial data analysis☆11Updated this week
- Quantum computing books☆15Mar 9, 2025Updated last year