☆49Jun 10, 2026Updated 2 months ago
Alternatives and similar repositories for pbcc
Users that are interested in pbcc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Python memory debugger and analyzer☆21Jul 7, 2026Updated last month
- ☆71Jul 30, 2025Updated last year
- A complete Lean 4 formalization of the Kakeya set problem over finite fields☆21Dec 16, 2025Updated 8 months ago
- A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8 and 24.☆72Apr 7, 2026Updated 4 months ago
- Harmonic Datasets☆56Jul 12, 2024Updated 2 years ago
- 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.
- AI-driven discovery of new Gravitational Wave Detectors☆26Jan 10, 2024Updated 2 years ago
- Lean4 Code Editor☆18Aug 18, 2026Updated 2 weeks ago
- tools and benchmarks for verified coding☆30Jun 5, 2026Updated 2 months ago
- LeanDojo-v2 is an end-to-end framework for training, evaluating, and deploying AI-assisted theorem provers for Lean 4.☆126Aug 10, 2026Updated 3 weeks ago
- ☆322Sep 11, 2025Updated 11 months ago
- Super concise and easily reproducible implementation of a sample LLVM-based compiler with Go.☆19Jan 18, 2026Updated 7 months ago
- A formal proof of the Riemann Hypothesis for curves☆59Feb 6, 2026Updated 6 months ago
- A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions☆49Apr 22, 2026Updated 4 months ago
- As defined in Lubotzky, Philips and Sarnak☆10Oct 25, 2022Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- LeanInteract: A Python Interface for Lean 4☆128Jul 17, 2026Updated last month
- Formalization of the Millennium Problems in Lean 4☆63Jul 11, 2026Updated last month
- Automatic solver for plane geometry problems.☆95Feb 24, 2026Updated 6 months ago
- Self-Supervised Alignment with Mutual Information☆20May 24, 2024Updated 2 years ago
- GitHub action for standard CI in Lean projects☆43Aug 28, 2026Updated last week
- A verifier that integrates LLMs into automated C program verification☆17Apr 4, 2026Updated 5 months ago
- White-box automation for Lean 4☆401Aug 24, 2026Updated last week
- A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.☆106Updated this week
- TorchLean is the first unified Lean 4 framework for neural-network specification, execution, and verification.☆139Aug 27, 2026Updated last week
- 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.
- ARchitect helps non-technical users create Automated Reasoning policies from their document☆42Updated this week
- ☆61Mar 13, 2026Updated 5 months ago
- An interactive environment for exploring, refining, and visualizing mathematical proofs with AI assistance.☆35May 22, 2026Updated 3 months ago
- Automatically extract executable programs from pruned mechanistic circuits, extending OpenAI's Sparse Circuits☆73Nov 23, 2025Updated 9 months ago
- Formally Verified Float Implementation with lean4☆21Aug 25, 2026Updated last week
- Leaff is a diff tool for Lean environments☆25Jan 18, 2025Updated last year
- ☆19Jan 16, 2025Updated last year
- 💁 Counterfactual and Upgradable Self-Sovereign Identity for Ethereum, using Gnosis Safe☆15Sep 5, 2018Updated 7 years ago
- Tools to facilitate NLP of scientific literature☆19Nov 29, 2021Updated 4 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.
- Our solutions to Putnam 2025.☆114Jan 9, 2026Updated 7 months ago
- A document repository for the CWE AI Working Group, a forum for CWE™ and CVE® community stakeholders to identify and address gaps in the …☆17Jul 7, 2026Updated last month
- AI Acid: Enlightening LLMs Through Lexical Entropy☆19May 21, 2025Updated last year
- micro-library to produce a couple of basic, attractive, printable plots with matplotlib☆10Mar 4, 2018Updated 8 years ago
- The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials☆153Apr 22, 2025Updated last year
- Code with CliqueFlowmer model for Optimal Computational Materials Discovery☆17Apr 21, 2026Updated 4 months ago
- Groq-powered MAD: The first work to explore Multi-Agent Debate with Large Language Models :D☆12Jul 5, 2024Updated 2 years ago