Erdős Problem #870: paper and sorry-free, axiom-clean Lean 4 formalization.
☆21Jun 26, 2026Updated 3 months ago
Alternatives and similar repositories for erdos-870
Users that are interested in erdos-870 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- GitHub issues as a blog with comment feature, place to publish and/or relay contents, and open discussion forum.☆15Aug 4, 2026Updated last month
- Proving polynomial inequalities with sum-of-squares certificates☆30Apr 4, 2026Updated 5 months ago
- AI powered Virtual Desktop☆18Aug 25, 2026Updated last month
- A rust proc macro that generates rust code at compile-time based on the prompt provided to the proc macro☆16Jul 24, 2023Updated 3 years ago
- Example MCP Host☆12Mar 26, 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.
- Graph Inference on MoLEcular Topology☆26Mar 25, 2023Updated 3 years ago
- Proxy for Anthropic Claude implemented in Go☆13Mar 9, 2024Updated 2 years ago
- Add furigana to text.☆16Aug 17, 2016Updated 10 years ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Dec 18, 2018Updated 7 years ago
- ☆12May 23, 2018Updated 8 years ago
- Agentic workflow for tackling all open Erdos problems at once.☆34May 10, 2026Updated 4 months ago
- ☆61Mar 13, 2026Updated 6 months ago
- ☆10Mar 31, 2023Updated 3 years ago
- Lean formalizations for the paper "On the paucity of lattice triangles"☆19Sep 11, 2026Updated 3 weeks ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Open-source interface to a user's defaults on macOS. Available as both a CLI and a library.☆16Dec 21, 2025Updated 9 months ago
- This crate provides core types for interoperating with IPLD.☆34Feb 17, 2026Updated 7 months ago
- #PINNING is a browser extension (currently TamperMonkey script) to improve Pinterest's desktop browsing UX☆18Aug 7, 2025Updated last year
- ☆84Jun 25, 2026Updated 3 months ago
- Massively-Parallel Natural Extension of Reference Frame☆35Jan 18, 2023Updated 3 years ago
- A Rust implementation of the Gravity-post-quantum signature schemes☆21Aug 24, 2026Updated last month
- Translating WebAssembly into the most simple LLVM IR.☆15May 13, 2026Updated 4 months ago
- Providing the answer to "How to do patching on all available SAEs on GPT-2?". It is an official repository of the implementation of the p…☆14Jan 26, 2025Updated last year
- Public ErdosBench smoke test: 14 public-source Erdős-style problems and baseline reports☆26Jun 8, 2026Updated 3 months 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.
- Tensorflow 2.0 implementation of STAR RNN☆10Jun 7, 2020Updated 6 years ago
- Experiments in protein folding through language modeling☆10Dec 10, 2021Updated 4 years ago
- Binder repository of interactive tutorial notebooks for pyQuil and Forest.☆31Feb 5, 2022Updated 4 years ago
- Unofficially Implements https://arxiv.org/abs/2112.05682 to get Linear Memory Cost on Attention for PyTorch☆12Jan 16, 2022Updated 4 years ago
- Repository for Deterministic Particle Flow Control framework☆10Nov 13, 2022Updated 3 years ago
- Standalone charge assignment from Espaloma framework.☆49Oct 10, 2025Updated 11 months ago
- A compact high-signal benchmark for evaluating frontier agents☆39Aug 3, 2026Updated 2 months ago
- Kuma a cross-chain wallet that offers seamless management and transfer of assets between EVM and WASM chains.☆12Nov 8, 2024Updated last year
- This Python script parses Reddit's API to find mentions of stock $tickers to gauge their rising popularity.☆12Mar 16, 2026Updated 6 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.
- RWKV6 in native pytorch and triton:)☆11Aug 4, 2024Updated 2 years ago
- LLM Benchmark problems for SWE tasks in julia☆15Nov 24, 2025Updated 10 months ago
- Code for "Machine-Learning Non-Conservative Dynamics for New-Physics Detection" (arXiv: 2106.00026)☆14Aug 1, 2021Updated 5 years ago
- Learning to sort numbers using a LSTM with a modified attention mechanism (Pointer Networks by Vinyals et al.).☆13Jun 21, 2018Updated 8 years ago
- "Stochasticity in Neural ODEs: An Empirical Study". Experiments from the paper☆13Apr 27, 2020Updated 6 years ago
- Solana Airdrop Faucet: A simple web application that allows users to receive free SOL tokens on the Solana Devnet. Built with Next.js, th…☆11Sep 22, 2024Updated 2 years ago
- Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes☆11Jul 10, 2024Updated 2 years ago