Lean math proofs generated by AlphaProof Nexus and accompanying natural language prose proofs.
β126May 25, 2026Updated this week
Alternatives and similar repositories for alphaproof-nexus-results
Users that are interested in alphaproof-nexus-results are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Model Context Protocol (MCP)β17Mar 25, 2025Updated last year
- π This is my custom Github Readmeβ15Mar 9, 2026Updated 2 months ago
- β15Jul 25, 2025Updated 10 months ago
- MVCν¨ν΄μ μΌνλͺ° ꡬν ννλ‘μ νΈβ11Jan 27, 2021Updated 5 years ago
- Sign Language to Text Translation using Machine Learning and Open CV. Implemented using Landmark Module and Random Forest Algorithm. B.Teβ¦β18Sep 9, 2024Updated last year
- Virtual machines for every use case on DigitalOcean β’ AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Osori Contributorsβ11May 22, 2018Updated 8 years ago
- A service and database tool for serving clinical trial data related to radiation therapy and treatment of cancerβ13Mar 23, 2025Updated last year
- Inject custom JS and CSS into your Axure prototypes. Use Axure Plugins locally.β17May 2, 2016Updated 10 years ago
- Where programmers share ideas and help each other growβ12Jun 9, 2020Updated 5 years ago
- Useful skills for agents and claws.β60Updated this week
- A discouraging story.β17May 8, 2018Updated 8 years ago
- Uses the D8M camera module, then processes the image to detect red objects, and then overlay an x,y crosshair on the largest red object. β¦β15Jan 19, 2018Updated 8 years ago
- Windfarm Open Data Analysis: βLa Haute Borneβ (Meuse, France)β13Nov 12, 2018Updated 7 years ago
- Self-hosted instant sandboxes for coding agents on Cloudflare.β83May 22, 2026Updated last 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.
- β45May 18, 2026Updated last week
- The official Pytorch implementation of UNesTβ27Aug 1, 2024Updated last year
- High Dynamic Range imaging with Altera DE2-115.β14Mar 1, 2021Updated 5 years ago
- A 3D Slicer extension for FastSAM3Dβ22Aug 31, 2024Updated last year
- Find good problems to solveβ11Dec 22, 2021Updated 4 years ago
- Yet another codex remote in feishuβ74May 13, 2026Updated 2 weeks ago
- AntakIA is THE tool to explain an ML model or replace it with a collection of basic explainable models.β14Feb 16, 2026Updated 3 months ago
- Writing proofs to Twitter since April 2020β12Jun 9, 2022Updated 3 years ago
- Code Repository for Time Varying Multivariate Autoregressive (TV-MVAR) modelingβ13Mar 12, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean β’ AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Mandelbrot Set in VHDL targetting the Cyclone IVE found on a DE2-115 board.β11May 2, 2013Updated 13 years ago
- β38Dec 27, 2024Updated last year
- Do we need rebalancing strategies? A theoretical and empirical study around SMOTE and its variants (Sakho, Malherbe and Scornet; 2024)β11Sep 2, 2025Updated 8 months ago
- Implementing a motion planning pipeline in ROSβ15Oct 3, 2020Updated 5 years ago
- Sync distributed sets using bloom filtersβ26Nov 4, 2021Updated 4 years ago
- Medical Affairs Applied Solutions ESAPI tool to create ScoreCards and score plans; in-metric Boolean/expansion; normalize dose to max scoβ¦β23Dec 31, 2025Updated 4 months ago
- A Model Context Protocol (MCP) server that provides Claude with advanced mathematical calculation capabilitiesβ57Aug 13, 2025Updated 9 months ago
- A simple, elegant web tool that allows you to create custom RSS feeds for arXiv search queries. Stay up-to-date with the latest research β¦β35Mar 21, 2026Updated 2 months ago
- We implement the rough Heston modelβ16Jan 24, 2024Updated 2 years 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.
- pass-stream - pass-through node.js stream which can filter/adapt and pause dataβ17Mar 3, 2017Updated 9 years ago
- A deep learning-based fully-automatic intravenous contrast detection tool for head-and-neck and chest CT scans.β24Aug 15, 2023Updated 2 years ago
- a copy of our trading bot in the IMC prosperity trading competitionβ13Apr 3, 2023Updated 3 years ago
- DEPRECATED - PHP Component to deal with message in Redis πβ11Sep 18, 2018Updated 7 years ago
- CLI Command for Two Factor Authentication.πβ10Jan 31, 2024Updated 2 years ago
- Hardware implementation of HDR image producing algorithmβ16Sep 30, 2022Updated 3 years ago
- Implementation of various market making and trading strategies for the IMC Prosperity Trading Challenge 2023β16Apr 3, 2023Updated 3 years ago