Research agents harness
☆100Oct 22, 2026Updated 3 weeks ago
Alternatives and similar repositories for srchd
Users that are interested in srchd are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Experimental scripts usable to interact with Dust's APIs☆27Oct 2, 2026Updated last month
- ☆10Apr 19, 2026Updated 6 months ago
- AntakIA is THE tool to explain an ML model or replace it with a collection of basic explainable models.☆14Jun 15, 2026Updated 4 months ago
- Compare how fine-tuned AI video models interpret the same prompts☆14Jan 29, 2025Updated last year
- Human-controlled roadmaps for Tau Ceti, an AIs-welcome Lean library downstream of Mathlib.☆54Updated this week
- 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.
- Interactive hdf5 file navigation☆11Jan 5, 2026Updated 10 months ago
- The official repository for the paper Multilingual Mathematical Autoformalization☆39May 20, 2024Updated 2 years ago
- An interactive environment for exploring, refining, and visualizing mathematical proofs with AI assistance.☆35May 22, 2026Updated 5 months ago
- simple activegraph coding agent demo☆13Jun 8, 2026Updated 5 months ago
- DAEDALUS: Bootstrapping Agent Memory from Self-Generated Tasks. Code, paper and blog post.☆13Oct 19, 2026Updated 3 weeks ago
- Continual Memorization of Factoids in Large Language Models☆12Nov 20, 2024Updated last year
- Drex harness for context search: ask a question about a repo, get the files and lines your coding agent should read first.☆13Updated this week
- Paper and talk from KDD 2019 XAI Workshop☆19May 31, 2020Updated 6 years ago
- Lean mathzoo☆25Mar 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.
- Python wrapper for lean-gym☆13Apr 5, 2023Updated 3 years ago
- Reproducibility study of the paper: "InPars Toolkit: A Unified and Reproducible Synthetic Data Generation Pipeline for Neural Information…☆12Feb 11, 2025Updated last year
- An agent for managing updates to my GitHub repos☆24Oct 13, 2025Updated last year
- ☆27Jun 10, 2025Updated last year
- trial at reviving the ancient library☆11Aug 13, 2026Updated 3 months ago
- A library for Time-Series exploration, analysis & modelling.☆17Dec 10, 2020Updated 5 years ago
- Pino configuration for Google Cloud Platform. Enabled structured logging!☆19Oct 27, 2026Updated 2 weeks ago
- This open-source repository offers reference code for integrating workplace datastores with Cohere's LLMs, enabling developers and busine…☆153Oct 8, 2024Updated 2 years ago
- Examples using MetaProgramming for writing tactics etc.☆19Nov 26, 2025Updated 11 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Implements the scattering transform in python☆11Jan 26, 2016Updated 10 years ago
- Factored Cognition Primer: How to write compositional language model programs☆54Feb 22, 2023Updated 3 years ago
- Prediction Explanations Clustering☆10Oct 19, 2023Updated 3 years ago
- Reddit Gender Text-Classification.☆11Apr 16, 2023Updated 3 years ago
- A description of the HTTP protocol used by multiple Azure AI chat solutions.☆31Jun 7, 2024Updated 2 years ago
- ☆17Sep 9, 2022Updated 4 years ago
- ☆33Sep 9, 2026Updated 2 months ago
- ☆15Mar 25, 2026Updated 7 months ago
- Affinity server and online console application☆12Jun 13, 2014Updated 12 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics☆291Updated this week
- Numerical Optimisation Library☆17Jul 9, 2023Updated 3 years ago
- ☆19Dec 27, 2020Updated 5 years ago
- Rubric is a domain specific language for specifying constraints and validating AI-generated code.☆12Nov 4, 2025Updated last year
- This repo is an approach to TDD in machine learning model operation. it covers project structure, testing essentials using pytest with Gi…☆15Dec 2, 2020Updated 5 years ago
- ☆15Apr 12, 2023Updated 3 years ago
- ☆291Jul 8, 2026Updated 4 months ago
Are these results useful?