☆76Jun 28, 2026Updated last week
Alternatives and similar repositories for estimate_tools
Users that are interested in estimate_tools are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Dec 25, 2023Updated 2 years ago
- Code to automatically prove or verify estimates in analysis☆339Jun 24, 2026Updated last week
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆55Feb 23, 2026Updated 4 months ago
- The official repo for "OpenMoE 2: Sparse Diffusion Language Models".☆58Dec 28, 2025Updated 6 months ago
- An exploration of Android App Functions☆18May 26, 2025Updated last year
- 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.
- An Interactive Hex-Rays Microcode Explorer☆17Feb 8, 2024Updated 2 years ago
- Writeup and exploit for CVE-2025-22441: Privilege escalation from installed app to SystemUI process on Android due to pass of untrusted A…☆101Oct 8, 2025Updated 8 months ago
- Rerousces related to time-travel debugging (TTD)☆46Updated this week
- Tool to analyse the import structure of lean projects.☆21Jun 17, 2026Updated 2 weeks ago
- A search engine for Lean 4 declarations☆74May 7, 2026Updated last month
- ☆19Sep 7, 2025Updated 9 months ago
- Cross-Site Scripting (XSS) is a common vulnerability that allows attackers to inject malicious scripts into web pages viewed by users. In…☆11Sep 10, 2024Updated last year
- ☆14Dec 12, 2023Updated 2 years ago
- Solving Competition Geometry Problems in Lean☆38Aug 26, 2025Updated 10 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.
- Coverage gathering JVMTI agent for Android☆28Oct 11, 2023Updated 2 years ago
- Project to verify the Guy-Selfridge conjectures☆30Jun 24, 2026Updated last week
- 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.☆97Updated this week
- guarded interaction trees☆14Jun 23, 2026Updated last week
- MIT IEEE URTC 2024. GSET 2024. Repository for the "MBASED: Practical Simplifications of Mixed Boolean-Arithmetic Obfuscation". A Binary N…☆44Aug 8, 2025Updated 10 months ago
- ☆13Mar 27, 2024Updated 2 years ago
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated 2 years 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.
- How a leaked JWT secret inside a JavaScript file led to full admin access — and why most devs still don't see it coming.☆15Jul 22, 2025Updated 11 months ago
- HyperTree Proof Search for Neural Theorem Proving -- "La science est l'œuvre de l'esprit humain, qui est plutôt destiné à étudier qu'à co…☆45Apr 13, 2026Updated 2 months ago
- KeySentry – Find leaked API keys & secrets in any GitHub repo. No mercy.☆42May 29, 2026Updated last month
- This is the core functions needed by the `tsmp` package. The low level and carefully checked mathematical functions are here. These are i…☆12Jun 10, 2026Updated 3 weeks ago
- Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"☆21Jun 26, 2026Updated last week
- Lean 形式化数学☆18Dec 20, 2025Updated 6 months ago
- Repository of <FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models>☆76Jan 8, 2026Updated 5 months ago
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆100Updated this week
- Lean formalizations of IMO problem statements☆37Apr 23, 2026Updated 2 months 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.
- Blueprint for the PNT+ Project☆322Updated this week
- Generates functions to convert Python classes to and from JSON friendly objects.☆13Jun 28, 2021Updated 5 years ago
- Exceptions to the ABC conjecture in Lean☆20Jan 26, 2026Updated 5 months ago
- ☆112Updated this week
- SAM4SS: Tailoring SAM and SAM2 for Semantic Segmentation☆11Jul 31, 2024Updated last year
- Catalog Of Math Problems Formalized In Lean☆246Updated this week
- [ICLR'25 Spotlight] Rethinking and improving autoformalization: towards a faithful metric and a Dependency Retrieval-based approach☆30May 20, 2025Updated last year