Lean math proofs generated by AlphaProof Nexus and accompanying natural language prose proofs.
☆255Jun 5, 2026Updated last month
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:
- Functional builders for vecty elements (not maintained right now)☆10Nov 7, 2019Updated 6 years ago
- OS Development☆11Jul 13, 2023Updated 2 years ago
- GitHub Actions for usage with Google's 130nm manufacturable PDK for SkyWater Technology found @ https://github.com/google/skywater-pdk☆16Jun 3, 2021Updated 5 years ago
- These are the famous Uppsala Software Factory programs, rescued into GitHub.☆10Nov 3, 2022Updated 3 years ago
- Find good problems to solve☆11Dec 22, 2021Updated 4 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.
- Python framework for multi-parameter optimization and evaluation of protein folding models☆18Apr 12, 2021Updated 5 years ago
- ☆22Oct 18, 2012Updated 13 years ago
- ☆18Jan 18, 2023Updated 3 years ago
- ☆18May 29, 2021Updated 5 years ago
- OpenCL to CUDA converter☆16Jan 7, 2017Updated 9 years ago
- ElF静态注入☆19Apr 22, 2019Updated 7 years ago
- ☆16Jun 21, 2026Updated 2 weeks ago
- YunoHost DynDNS Server☆13May 23, 2026Updated last month
- ☆12Aug 24, 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.
- Build your Arduino from scratch - projects☆19Sep 13, 2019Updated 6 years ago
- Catalogue de solutions open source pour les entreprises.☆15Jun 12, 2024Updated 2 years ago
- Pentesting toolbox for CachyOS/Cachy Handheld edition☆36Jan 29, 2026Updated 5 months ago
- ☆13Nov 25, 2014Updated 11 years ago
- AnIML XML schemas☆20Oct 27, 2025Updated 8 months ago
- AnIML Technique Definitions☆17Oct 27, 2025Updated 8 months ago
- I have created a dataset of Image-Text-Pairs by using the cosine similarity of the CLIP embeddings of the image & it's caption derrived f…☆17Apr 22, 2021Updated 5 years ago
- Ce repo contient des scripts de traitement de la base nationale Sitadel de permis de construire pour le site vigibati.fr☆12Jun 23, 2020Updated 6 years ago
- ☆13Aug 30, 2018Updated 7 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Full Packet Capture for the Masses☆14Sep 13, 2018Updated 7 years ago
- Email providers of Swiss municipalities displayed on a map☆121Apr 29, 2026Updated 2 months ago
- PostgreSQL Rock Solid Database - "ACID" artworks☆11Nov 10, 2019Updated 6 years ago
- Site Jekyll pour les crapauds fous.☆12Jan 20, 2023Updated 3 years ago
- A color scheme for Vim and Neovim. High-contrast yet easy in the eye.☆12Dec 17, 2018Updated 7 years ago
- keyboard_shortcuts roundcube plugin☆26Mar 9, 2023Updated 3 years ago
- ☆11Jan 28, 2025Updated last year
- Cours de code informatique pour débutant, enfant, ado☆14Apr 21, 2026Updated 2 months ago
- Bash script to enable/disable gnome-shell-extensions and more☆12Jan 9, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Bot for Tchap (the messaging app of the French State) using Albert, the French administration Artificial Intelligence agent☆15Nov 14, 2024Updated last year
- chrome extension starter☆16Feb 25, 2016Updated 10 years ago
- Transformer un site SPIP en site statique.☆10Oct 9, 2024Updated last year
- A minimal buildpack for Pipenv.☆11Feb 13, 2019Updated 7 years ago
- BPF based visual packet rate monitor☆24Mar 24, 2025Updated last year
- ☆11Sep 15, 2023Updated 2 years ago
- ☆12Jun 14, 2021Updated 5 years ago