☆65Jul 17, 2026Updated last month
Alternatives and similar repositories for zero-order-bounds-lean-verification
Users that are interested in zero-order-bounds-lean-verification are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Formalisation of the theory of real closed fields in Lean 4.☆15Aug 2, 2026Updated last month
- On the Quartic Invariant of Odd Degree Binary Forms — paper, Lean formalization, and computational verification☆16Apr 16, 2026Updated 4 months ago
- Lean formalizations of IMO problem statements☆36Apr 23, 2026Updated 4 months ago
- Template for Lean<->Rust FFI☆17Feb 11, 2024Updated 2 years ago
- A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.☆106Updated 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.
- guarded interaction trees☆14Jul 6, 2026Updated last month
- Comparator-based Lean formal mathematics eval☆44Updated this week
- A simple approach to supervisory MPC for building systems☆13Apr 11, 2023Updated 3 years ago
- ☆13Mar 14, 2026Updated 5 months ago
- Code and experiments for the NeurIPS 2023 paper Stabilized Neural Differential Equations for Learning Dynamics with Explicit Constraints☆12Mar 26, 2024Updated 2 years ago
- Homomorphic encryption library for encrypted control☆13Aug 9, 2024Updated 2 years ago
- Call XGBoost from Fortran☆12Jun 20, 2023Updated 3 years ago
- Verifying the ZX Calculus☆21Jan 16, 2026Updated 7 months ago
- Structured data extraction and programmatic interaction with Lean 4.☆20May 7, 2026Updated 3 months 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.
- A Haskell probabilistic programming library.☆23May 28, 2026Updated 3 months ago
- A formalized proof of Carleson's theorem in Lean☆109Updated this week
- This hook integrates with Claude Code to automatically create git checkpoints (snapshots) of your code before any file modifications. It …☆15Jul 6, 2025Updated last year
- OpenConjecture, a dataset of mathematics conjectures pulled from papers published to the ArXiv☆20Jul 12, 2026Updated last month
- Python front-end for the rfm_edf_ecomanager RF base unit☆13Jan 20, 2015Updated 11 years ago
- ☆18Feb 1, 2022Updated 4 years ago
- OpenStudio-Analysis Gem creates and configures the analysis.json files needed for running the OpenStudio Distributed Analysis workflow.☆15Jun 18, 2026Updated 2 months ago
- ☆16Mar 2, 2026Updated 6 months ago
- ☆12Mar 31, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Guidelines on using Weights and Biases logging for deep learning applications on NERSC machines☆13Aug 7, 2023Updated 3 years ago
- ☆33Jul 20, 2026Updated last month
- A tool for making a probabilistic power forecast for a fleet of solar plants using an existing deterministic forecast☆16Dec 2, 2024Updated last year
- ☆75Jun 28, 2026Updated 2 months ago
- The Pat mailbox-typed programming language☆24Aug 26, 2026Updated last week
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆84Jun 13, 2025Updated last year
- ☆45Sep 19, 2024Updated last year
- A script to transcribe audio files with Google Cloud Speech API.☆10Oct 31, 2017Updated 8 years ago
- ☆18Jul 12, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A complete Lean 4 formalization of the Kakeya set problem over finite fields☆21Dec 16, 2025Updated 8 months ago
- A visual representation of Dijkstra's Algorithm using Libgdx.☆16Dec 24, 2021Updated 4 years ago
- Optimal distance lower bound k-mer sampling.☆12Jun 19, 2024Updated 2 years ago
- Python and MatLab code for Fourier transform book☆21Jul 3, 2023Updated 3 years ago
- Lean formalizations of the paper "We Can't Agree to Disagree, Formally: Aumann's Theorem and Assumption Accounting in Lean"☆22May 27, 2026Updated 3 months ago
- Official repo for "The impact of internal variability on benchmarking deep learning climate emulators" in JAMES25 (public)☆23Sep 29, 2025Updated 11 months ago
- Resource Allocation for Dynamic Demands☆23Updated this week