WybeCoder Verified Generation of Imperative Code with LLMs
☆41May 6, 2026Updated 5 months ago
Alternatives and similar repositories for wybecoder
Users that are interested in wybecoder are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lean 4 tree-sitter bindings — typed grammar schemas, declaration extraction, source maps, and verified properties☆21Jul 16, 2026Updated 3 months ago
- Lean playground for programming language modeling tooling.☆15May 20, 2026Updated 5 months ago
- Legacy Complexitylib V1; development continues at cslib-community/complexitylib.☆29Updated this week
- Verina (Verifiable Code Generation Arena) is a high-quality benchmark enabling a comprehensive and modular evaluation of code, specificat…☆83Aug 17, 2026Updated 2 months ago
- Arbitrary verified fast precision floating point arithmetic in Lean, with proofs, optimized backends, and support for IEEE binary and dec…☆71Updated 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.
- Suggested conventions and examples for Lean formalization of IMO problem statements☆18Oct 11, 2026Updated last week
- A Machine-to-Machine Interaction System for Lean 4.☆150Updated this week
- Lean4: Total parser combinator library with do notation☆23Sep 9, 2026Updated last month
- experimental LeanOS formally verified OS☆16Updated this week
- Verified computational algebra in Lean 4: aggregator for the released hex libraries☆35Oct 15, 2026Updated last week
- A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions☆51Apr 22, 2026Updated 6 months ago
- A recursive, reflective POETRY algorithm variant using Goedel-Prover-V2☆35Mar 9, 2026Updated 7 months ago
- A WebAssembly implementation in Lean4☆48Dec 13, 2023Updated 2 years ago
- Research code base for Automatic Textbook Formalization☆160Mar 31, 2026Updated 6 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.
- A proof of the consistency of ZF in axiom-free Lean☆23Sep 19, 2026Updated last month
- ☆245Oct 14, 2026Updated last week
- Lean formalizations of IMO problem statements☆36Apr 23, 2026Updated 6 months ago
- 15k open math problems, linked to their sources.☆28Jul 31, 2026Updated 2 months ago
- An auto-active program verifier in Lean☆131Oct 8, 2026Updated 2 weeks ago
- Human-controlled roadmaps for Tau Ceti, an AIs-welcome Lean library downstream of Mathlib.☆37Updated this week
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆229Updated this week
- A fork of Cerberus C adding a Lean 4 port of the semantics☆15Updated this week
- Coeditor: Leveraging Repo-level Diffs for Code Auto-editing☆31Feb 25, 2024Updated 2 years 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.
- Portable Lean 4 autoformalization skills for Codex and Claude Code☆50Oct 7, 2026Updated 2 weeks ago
- Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Su…☆164Oct 3, 2026Updated 2 weeks ago
- ☆62Dec 1, 2025Updated 10 months ago
- Translate Chisel hardware design code to Scala simulation code.☆15May 15, 2025Updated last year
- Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.☆36Mar 25, 2026Updated 6 months ago
- ☆20Aug 17, 2026Updated 2 months ago
- Python client to interact with the lean4 language server.☆48Aug 19, 2026Updated 2 months ago
- ☆40Sep 27, 2026Updated 3 weeks ago
- Lean formalizations for the paper "On the paucity of lattice triangles"☆19Sep 11, 2026Updated last month
- 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.
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆77Jan 15, 2025Updated last year
- A certified RISC-V Interpreter with Hoare-logic in Lean☆23Aug 11, 2026Updated 2 months ago
- Skills for AIs using the Lean programming language and theorem prover — proofs, toolchain setup, bisection, and more☆74Feb 25, 2026Updated 7 months ago
- Formalising the WASM spec in Lean☆34Nov 14, 2025Updated 11 months ago
- Setup for autograding of Lean homework using GitHub Classroom☆11Feb 11, 2022Updated 4 years ago
- An external lean checker with a proof of consistency☆140Updated this week
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆49Aug 26, 2026Updated last month