Run lean4 directly in your browser ( https://lean.cau.li )
☆19Sep 10, 2026Updated last month
Alternatives and similar repositories for lean4-wasm-in-browser
Users that are interested in lean4-wasm-in-browser are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Verified computational algebra in Lean 4: aggregator for the released hex libraries☆35Oct 15, 2026Updated last week
- experimental LeanOS formally verified OS☆16Updated this week
- Small, configurable proof search for inductive Lean goals☆25Sep 30, 2026Updated 3 weeks ago
- ☆22Sep 25, 2026Updated 3 weeks ago
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆22Updated this week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated last year
- A proof of Conway's refinement conjecture in Lean☆55Sep 3, 2026Updated last month
- Tool to analyse the import structure of lean projects.☆28Oct 14, 2026Updated last week
- ☆13Oct 14, 2026Updated last week
- Scala.js abstraction for a common core of features shared by Array[T], js.Array[T], and the JavaScript TypedArray family of Arrays..☆25Jul 19, 2026Updated 3 months ago
- DEciding Equivalence Properties in SECurity protocols☆22Mar 1, 2023Updated 3 years ago
- A web-based role-strategy multiplayer game☆15Jan 23, 2021Updated 5 years ago
- ☆39Sep 27, 2026Updated 3 weeks ago
- ☆133Oct 3, 2026Updated 2 weeks 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.
- bpf_fault is a framework enabling custom page fault handling with eBPF. Appeared in SOSP 2026.☆49Oct 11, 2026Updated last week
- A highlight.js language grammar for the Lean theorem proving language.☆13Oct 7, 2026Updated 2 weeks ago
- Lean formalization of bounded gaps between primes☆44Aug 18, 2026Updated 2 months ago
- An FL Studio piano roll script that uses OpenAI's GPT to help you edit and create notes using natural language.☆12Apr 3, 2024Updated 2 years ago
- draw and math in vscode☆11Feb 24, 2023Updated 3 years ago
- Go implementation of MEV-Extract for Ethereum☆12Dec 17, 2022Updated 3 years ago
- Bonn Lean course for winter 24/25☆45Jul 1, 2026Updated 3 months ago
- Distributed, objective-led control plane for Lean 4 formalization projects.☆36Oct 9, 2026Updated last week
- ☆24Dec 17, 2016Updated 9 years ago
- 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.
- Scalablytyped Mill Plugin☆31Updated this week
- Human-controlled roadmaps for Tau Ceti, an AIs-welcome Lean library downstream of Mathlib.☆37Updated this week
- General neural tactic for Lean 4☆47Oct 14, 2026Updated last week
- ☆12Mar 14, 2023Updated 3 years ago
- Differentiable Tensors based on NumPy Arrays☆11Oct 8, 2026Updated 2 weeks ago
- A simple APNS interface in Swift.☆11Oct 3, 2016Updated 10 years ago
- ☆17Feb 15, 2021Updated 5 years ago
- Automated chemical reaction networking with long-timescale kinetic simulations in Julia☆11Aug 2, 2025Updated last year
- ASAP smoothing☆13Sep 8, 2017Updated 9 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.
- Agree on a program. Run it together. Verify what happened. Wasm + p2p + state machines + verifiability☆15Oct 5, 2026Updated 2 weeks ago
- Ethereum Smart Contract - Proof of Work token☆10Jul 2, 2017Updated 9 years ago
- Universal RDF/JS graph traverser☆14Sep 14, 2026Updated last month
- ☆14Sep 24, 2026Updated 3 weeks ago
- We make it rain like crazy.☆11Nov 24, 2025Updated 10 months ago
- Scryer Prolog npm package (experimental)☆13Apr 11, 2025Updated last year
- Lean 4 framework for reasoning about Triton-style kernels.☆29Oct 14, 2026Updated last week