Bindings and specification for BLAS
☆11Feb 12, 2026Updated 8 months ago
Alternatives and similar repositories for LeanBLAS
Users that are interested in LeanBLAS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Basic Unicode support for Lean 4☆16Updated this week
- A PCRE2 compatible regular expression engine written in Lean 4.☆20Oct 16, 2026Updated 3 weeks ago
- A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4☆25Jan 15, 2025Updated last year
- Lean 4 bindings to libcurl☆15Feb 3, 2026Updated 9 months ago
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆23Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Write LaTeX presentations directly from Lean4~☆29Dec 28, 2025Updated 10 months ago
- A simple command-line bibtex query utility written in Lean 4☆11Oct 27, 2026Updated last week
- ☆14Sep 16, 2026Updated last month
- lean physical unit system, SI international☆11Oct 26, 2025Updated last year
- A toy implementation of socket programming for Lean 4.☆27Feb 23, 2023Updated 3 years ago
- Lean 4 formalization (work in progress) of O(n log n · log^(-ε) n) integer multiplication on a multitape Turing machine☆28Updated this week
- General neural tactic for Lean 4☆48Oct 14, 2026Updated 3 weeks ago
- WIP collections library for Lean 4☆32May 8, 2025Updated last year
- Scientific computing in Lean 4☆544Feb 18, 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.
- Make/Encode some basic logic puzzles☆22Jul 10, 2024Updated 2 years ago
- A parser for ANSI C, in Lean4.☆25Nov 16, 2023Updated 2 years ago
- Examples using MetaProgramming for writing tactics etc.☆19Nov 26, 2025Updated 11 months ago
- A simple dependently typed language based on the Calculus of Constructions.☆19Jul 31, 2020Updated 6 years ago
- Sqlite3 bindings for lean4☆12Jul 12, 2026Updated 3 months ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 3 years ago
- Verified compiler from LambdaBox to WebAssembly, C, Rust, and OCaml☆32Updated this week
- DateTime package for Lean 4☆17Feb 28, 2024Updated 2 years ago
- Jupyter notebook for the Lean4 programming language☆25Apr 25, 2022Updated 4 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.
- Lean 4 interface to Eigen☆12Dec 13, 2024Updated last year
- This package provides an interface and foundation for verified SAT reasoning☆57Aug 29, 2024Updated 2 years ago
- A formal verification of Linear PCP SNARKs.☆64Aug 15, 2026Updated 2 months ago
- A Lean library for descriptive complexity: NP-completeness and the polynomial hierarchy by first-order reductions, stronger than polynomi…☆15Updated this week
- ☆77Jun 4, 2026Updated 5 months ago
- Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4☆33Jun 27, 2024Updated 2 years ago
- a zero-knowledge proof-carrying code protocol for Lean 4☆108Updated this week
- Simulation testing Cardano node(s)☆13Oct 28, 2026Updated last week
- A WIP definitional (co)datatype package for Lean4☆55Sep 18, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Formal Verification for Ethereum☆10Oct 29, 2026Updated last week
- Full-stack framework powered by the WASM Component Model.☆12Updated this week
- Lean 4 as a scripting language in Houdini☆25Mar 13, 2024Updated 2 years ago
- ☆15Aug 19, 2026Updated 2 months ago
- Bindings to libclingo for the lean4 prover and programming language!☆22Nov 27, 2024Updated last year
- A full-system emulator without hard-coded semantics☆13Aug 21, 2026Updated 2 months ago
- LeanEff is a small Lean 4 extensible-effects library☆24Oct 13, 2026Updated 3 weeks ago