advancing math intuition on hard problems
☆33Oct 9, 2026Updated last month
Alternatives and similar repositories for conjectures
Users that are interested in conjectures are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Framework for creating fuzzers and negative tests for TLS 1.3 implementations☆13Mar 21, 2024Updated 2 years ago
- Large YAML file containing details of AI agent sandboxing solutions☆21Oct 1, 2026Updated last month
- ACE (Adaptive Code Evolution) is an AI-powered system for code analysis and optimization.☆12Mar 25, 2026Updated 7 months ago
- ☆11Jul 3, 2025Updated last year
- Session at a glance — always-visible recap panel for pi coding agent☆12May 12, 2026Updated 6 months 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.
- ☆12Nov 5, 2026Updated last week
- ☆11Dec 14, 2022Updated 3 years ago
- MachO editor / disassembler. No internet, no os requirements, just need a browser ;)☆12May 13, 2019Updated 7 years ago
- ☆12Mar 4, 2025Updated last year
- Hello Deep Learning☆17Apr 20, 2024Updated 2 years ago
- Simple benchmarks for XML parsing libraries☆11Apr 28, 2018Updated 8 years ago
- 🇫🇷 parler: Multilingual voice intelligence built on Mistral Voxtral model — decision logs from French/English meetings☆11Apr 15, 2026Updated 6 months ago
- Fermion Research fork of llama.cpp: FV5/FV5B five-value ternary types for Neutrino GGUF packs (CPU + CUDA)☆14Sep 29, 2026Updated last month
- A helper for parsing Docker link environment variables.☆14Dec 14, 2014Updated 11 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.
- LLM-first deception framework: "The honeypot that talks back!™"☆21Jul 15, 2026Updated 3 months ago
- An ESI enabled proxy caching server.☆12Nov 21, 2009Updated 16 years ago
- Illustration of Axon 3.3 subscription queries in the giftcard domain☆10Jul 10, 2018Updated 8 years ago
- Push stunnel into your buildpack to enable you to create secure client connections out to other resources.☆10Feb 18, 2015Updated 11 years ago
- Eclipse Maven Tycho XText Archetype☆10Nov 8, 2019Updated 7 years ago
- ☆13Jan 27, 2025Updated last year
- Use wkhtmltopdf in your Python project on Heroku☆13May 25, 2013Updated 13 years ago
- APL machine learning library☆19Sep 1, 2025Updated last year
- R tool for scanning Twitter for bot activity on a conversation level.☆11Jun 16, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 'Two Degrees' NFT code for Sotheby's 'Natively Digital: A Curated NTF Sale'☆12Jun 7, 2021Updated 5 years ago
- Axiomatic intelligence. Doing the right thing, provably.☆16Oct 9, 2026Updated last month
- Front-end for debuggers and disassemblers☆18May 12, 2015Updated 11 years ago
- An English translation of Deligne's three "Hodge theory" papers☆15Sep 21, 2026Updated last month
- ☆10Apr 26, 2023Updated 3 years ago
- Fork of babel-plugin-rewire with TypeScript compatibility☆11Aug 18, 2020Updated 6 years ago
- A nice automated CLI tool for installing, running, and managing Logos Blockchain nodes☆14Aug 20, 2026Updated 2 months ago
- Operating Swarm (OS): provider-agnostic agent operating layer and harness. Native execution, external harnesses, and peer OS instances as…☆20Updated this week
- Automated PS3 integration tests for emulators☆17Mar 23, 2016Updated 10 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A 100% local, containerized AI coding agent powered by pi coding agent and llama.cpp. Run private LLMs on CPU or NVIDIA GPU without exter…☆15Mar 28, 2026Updated 7 months ago
- Algebra engine.☆63Oct 30, 2026Updated 2 weeks ago
- Local AI code review for coding agents. Rules enforced inside Claude Code, Codex, and Cursor. Free, open-source, fully local.☆26Jul 27, 2026Updated 3 months ago
- libgray; a status notifier GObject library which can be used to create system trays☆13Dec 12, 2024Updated last year
- The holy grail of preprocessor metaprogramming : (actually) turing complete macros☆10Mar 11, 2022Updated 4 years ago
- Eclipse application that helps importing projects into workspace☆10Jul 20, 2015Updated 11 years ago
- Heroku app wrapper for newrelic_postgres_plugin. Send metrics from your Heroku Postgres instances to the NewRelic Platform.☆18May 22, 2015Updated 11 years ago
Are these results useful?