WybeCoder Verified Generation of Imperative Code with LLMs
☆43May 6, 2026Updated 6 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 Markdown rendering library — types, rendering functions, and Represent typeclass☆14Jul 16, 2026Updated 3 months ago
- Formal Verification of the OpenVM RISC-V, Keccak, and SHA-2 Extensions☆14Jul 15, 2026Updated 3 months ago
- Benchmark based on the Logical Foundations volume of [Software Foundations](https://softwarefoundations.cis.upenn.edu/)☆13Feb 20, 2026Updated 8 months ago
- Benchmarking LLMs on Real-World Software Verification in Lean 4☆16Oct 13, 2026Updated 3 weeks ago
- Lean playground for programming language modeling tooling.☆16May 20, 2026Updated 5 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Lean 4 tree-sitter bindings — typed grammar schemas, declaration extraction, source maps, and verified properties☆22Oct 29, 2026Updated 2 weeks ago
- A Machine-to-Machine Interaction System for Lean 4.☆151Oct 30, 2026Updated last week
- Cloud programming for Lean☆30Nov 1, 2026Updated last week
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆14Nov 4, 2026Updated last week
- Verina (Verifiable Code Generation Arena) is a high-quality benchmark enabling a comprehensive and modular evaluation of code, specificat…☆86Aug 17, 2026Updated 2 months ago
- Suggested conventions and examples for Lean formalization of IMO problem statements☆18Nov 2, 2026Updated last week
- Arbitrary verified fast precision floating point arithmetic in Lean, with proofs, optimized backends, and support for IEEE binary and dec…☆79Updated this week
- ☆63Dec 1, 2025Updated 11 months ago
- Research code base for Automatic Textbook Formalization☆163Mar 31, 2026Updated 7 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.
- Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Su…☆169Updated this week
- A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions☆52Apr 22, 2026Updated 6 months ago
- Write Python modules in Lean! (WIP)☆19Oct 28, 2026Updated 2 weeks ago
- A recursive, reflective POETRY algorithm variant using Goedel-Prover-V2☆35Mar 9, 2026Updated 8 months ago
- Legacy Complexitylib V1; development continues at cslib-community/complexitylib.☆31Oct 22, 2026Updated 3 weeks ago
- A ground-up, native-Rust reimplementation of the entire Lean 4 toolchain — drop-in at the binary surfaces (.olean, C ABI, LSP, CLI), dete…☆43Updated this week
- A WebAssembly implementation in Lean4☆50Dec 13, 2023Updated 2 years ago
- A rust port of con-leche☆36Updated this week
- Lean formalizations of IMO problem statements☆37Apr 23, 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 Tokio-inspired concurrency library and work-stealing scheduler for Lean 4, with machine-checked proofs.☆33Nov 2, 2026Updated last week
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆251Nov 5, 2026Updated last week
- Neural theorem proving toolkit: data extraction tools for Lean 4☆37Oct 18, 2026Updated 3 weeks ago
- Verified computational algebra in Lean 4: aggregator for the released hex libraries☆38Oct 15, 2026Updated 3 weeks ago
- Parser Library in Coq to help outsource implementation and proof to AI☆18Sep 10, 2026Updated 2 months ago
- LeanInteract: A Python Interface for Lean 4☆137Oct 18, 2026Updated 3 weeks ago
- soundvista☆18Dec 31, 2025Updated 10 months ago
- Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.☆36Mar 25, 2026Updated 7 months ago
- ☆13Aug 30, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆15Jun 20, 2025Updated last year
- Lean 4 JSON Schema library — types, validation, correctness proofs, and deriving handlers☆29Jul 16, 2026Updated 3 months ago
- experimental LeanOS formally verified OS☆20Updated this week
- SS2 HRTF Dataset - Reality Labs Research Audio☆19May 22, 2026Updated 5 months ago
- ☆33Updated this week
- ☆247Oct 14, 2026Updated 3 weeks ago
- Translate Chisel hardware design code to Scala simulation code.☆15May 15, 2025Updated last year
Are these results useful?