AI Agent leveraging symbolic reasoning and other auxiliary tools to boost its capabilities on various logic and reasoning benchmarks. This project aims to develop a robust and flexible AI system that can tackle complex problems in areas such as decision-making, mathematics, and programming.
☆48Mar 31, 2026Updated 5 months ago
Alternatives and similar repositories for polymath
Users that are interested in polymath are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Patch management tool for git submodules☆18Jul 25, 2025Updated last year
- VeriPy is a python based Verilog/Systemverilog automation tool. It automates ports/wire/reg/logic declarations, sub-module Instantiation,…☆38Jun 16, 2026Updated 3 months ago
- ☆29Aug 21, 2025Updated last year
- Type-and-example directed program synthesis using example propagation, as described in Program Synthesis Using Example Propagation.☆15Jul 26, 2026Updated 2 months ago
- ☆34Jul 15, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- BigOBench assesses the capacity of Large Language Models (LLMs) to comprehend time-space computational complexity of input or generated c…☆43Apr 15, 2025Updated last year
- Quantum circuits compiler with staging and continuations☆17Nov 19, 2024Updated last year
- ☆16Updated this week
- [ICCV 2025] A Benchmark for Multi-Step Reasoning in Long Narrative Videos☆28Jun 4, 2026Updated 3 months ago
- GrapheneOS Mastodon server☆19Updated this week
- A list of geospatial datasets on NASA's Common Metadata Repository (CMR)☆35Updated this week
- Symbolic Execution Engine for Boogie☆29Dec 27, 2021Updated 4 years ago
- A GitHub repository used to collaborate on recipes☆12Sep 1, 2015Updated 11 years ago
- Experimental model finder/SMT solver for functional programming.☆23Jun 23, 2022Updated 4 years ago
- 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.
- This repository is associated with the research paper titled ImageChain: Advancing Sequential Image-to-Text Reasoning in Multimodal Large…☆15Jun 4, 2025Updated last year
- Element's design system☆24Updated this week
- ☆29Nov 19, 2025Updated 10 months ago
- Discovering environments with XRM☆18Dec 6, 2024Updated last year
- Interactive Assembler for Go.☆21Feb 19, 2025Updated last year
- implementation of dualformer☆25Mar 1, 2025Updated last year
- Moved to https://github.com/microsoft/beachball/tree/main/renovate☆19Jul 22, 2026Updated 2 months ago
- Code, results and other artifacts from the paper introducing the WildChat-50m dataset and the Re-Wild model family.☆39Apr 1, 2025Updated last year
- Command to run a dev-server, build etc. with OpenPGP. On top of webpack.☆13Aug 11, 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.
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26May 13, 2026Updated 4 months ago
- ☆15Dec 12, 2025Updated 9 months ago
- ☆17Jun 3, 2024Updated 2 years ago
- A course on building Large Language Models☆20Mar 24, 2025Updated last year
- JavaScript implementation of the Android fastboot protocol, using WebUSB☆23Aug 6, 2024Updated 2 years ago
- Matrix and Element Web server☆25Updated this week
- Dialer app☆30Updated this week
- Experiments with ebiten - Doomfire☆12Oct 21, 2025Updated 11 months ago
- Code for the paper "Watermarking Makes Language Models Radioactive"☆26Oct 25, 2024Updated last year
- 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.
- Hugging Face Inference Toolkit used to serve transformers, sentence-transformers, and diffusers models.☆97Updated this week
- A <Link> element for React Native, analogous to the <A> tag in HTML☆15Jan 31, 2018Updated 8 years ago
- ☆20Sep 14, 2026Updated last week
- Matrix Rich Text Editor☆34Updated this week
- Evolving LangChain agent architectures using the Quality-Diversity (QD) algorithm.☆17Aug 29, 2025Updated last year
- TypeScript/JavaScript SDK for Matrix bots☆28Sep 18, 2026Updated last week
- Public repository outlining the mission, vision and plans of the Urbit Foundation☆13Jun 20, 2022Updated 4 years ago