Wasm interpreter in lean, designed for reasoning
☆190Oct 6, 2026Updated 2 weeks ago
Alternatives and similar repositories for talos
Users that are interested in talos are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- x64 semantics in Lean☆51Updated this week
- Proof infrastructure about LTL in Lean 4☆39Oct 13, 2026Updated last week
- DyLean, a framework for the symbolic analysis of cryptographic protocols☆22Oct 15, 2026Updated last week
- ☆13Oct 14, 2026Updated last week
- A toy nanopass compiler for x86 written in lean☆15Oct 25, 2025Updated 11 months 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.
- Lean playground for programming language modeling tooling.☆15May 20, 2026Updated 5 months ago
- Lean formalization of selected lemmas from "Term Rewriting and All That"☆18Apr 20, 2026Updated 6 months ago
- Tactics for discharging Lean goals into SMT solvers.☆314Updated this week
- Easy bindings between Lean and Python.☆36Sep 30, 2026Updated 3 weeks ago
- Lean specification of neural architectures with verified GPU codegen.☆35Updated this week
- ☆39Updated this week
- Lean 4 kernel / 'external checker' written in Lean 4☆266Oct 10, 2026Updated last week
- A Hindley-Milner language formalised in Lean 4 – proven type-safe, and runnable☆21Oct 15, 2026Updated last week
- A cookbook for Metaprogramming in Lean4 containing code snippets to help you code!☆19Apr 22, 2026Updated 6 months 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.
- A mutual induction tactic for Lean 4.☆33Sep 17, 2026Updated last month
- Formally Verified Float Implementation with lean4☆24Sep 12, 2026Updated last month
- Coinductive Interaction Trees in Lean4 using QPFs☆20Updated this week
- Agda category theory library for denotational design☆61Apr 20, 2026Updated 6 months ago
- ☆118Sep 28, 2026Updated 3 weeks ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆229Updated this week
- Experiments on automation for Lean☆193Sep 28, 2026Updated 3 weeks ago
- A formally-verified web frontend framework in Lean 4☆25Sep 23, 2026Updated last month
- The Lean Computer Science Library (CSLib)☆774Updated this week
- 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.
- Development repo for translating Software Foundations to Lean☆189Updated this week
- ☆133Oct 3, 2026Updated 2 weeks ago
- Some Cryptids and Lean proofs☆60Updated this week
- A certified RISC-V Interpreter with Hoare-logic in Lean☆23Aug 11, 2026Updated 2 months ago
- a zero-knowledge proof-carrying code protocol for Lean 4☆105Updated this week
- An external lean checker with a proof of consistency☆140Updated this week
- ☆17Jul 6, 2026Updated 3 months ago
- ☆13May 26, 2026Updated 4 months ago
- Rust interface for cvc5☆17Oct 13, 2026Updated last week
- 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.
- A Lean tactic for Canonical, a search procedure for terms in dependent type theory.☆139Oct 12, 2026Updated last week
- ☆17Oct 13, 2026Updated last week
- ☆19Feb 18, 2026Updated 8 months ago
- Low level (C) implementation of a CEK machine with an additional "F" failure continuation supporting amb☆15Jul 30, 2026Updated 2 months ago
- Lean 4 port of Megaparsec☆37Jan 11, 2024Updated 2 years ago
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆44Feb 14, 2026Updated 8 months ago
- A Lean 4 formalization of partial combinatory algebras.☆15Jan 6, 2025Updated last year