Harness Study · The Engineering Practice for AI Agents — a from-scratch tutorial on agent harness engineering: 8 runtime mechanisms, a cross-cutting Safety control plane, verifiers, trajectories, and self-evolution. Bilingual (English/Chinese).
☆57Jul 28, 2026Updated last month
Alternatives and similar repositories for harness-study
Users that are interested in harness-study are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network.☆16Sep 23, 2025Updated 11 months ago
- Procedural city generation.☆13Oct 15, 2022Updated 3 years ago
- Explains the conclusions of a logic program.☆10May 25, 2023Updated 3 years ago
- ☆14Dec 9, 2021Updated 4 years ago
- Fast, lightweight and cross-platform code-editor☆13Updated this week
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations☆16Aug 19, 2022Updated 4 years ago
- Intel oneAPI RenderKit CMake superbuild☆13Jan 13, 2026Updated 7 months ago
- ☆10May 24, 2021Updated 5 years ago
- Non sucking cross-platform extremely fast C++ crawler to convert entire websites into LLM readable data☆16Jun 7, 2026Updated 2 months ago
- Terrain & landscape generator☆15Jul 7, 2024Updated 2 years ago
- Source code for our Computer Graphics Forum paper: Synthesizing Geologically Coherent Cave Networks.☆19Jul 7, 2022Updated 4 years ago
- A C++ library for reinforcement learning environments☆10May 15, 2020Updated 6 years ago
- [NAACL 2021] Reading and Acting while Blindfolded: The Need for Semantics in Text Game Agents☆11May 31, 2021Updated 5 years ago
- NodeGraph - A simple directed graph with visualization UI.☆23Feb 8, 2026Updated 6 months 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.
- gen is a vst plugin for generative music☆15Sep 21, 2021Updated 4 years ago
- A research-purpose software for 3D morphing between two meshes with arbitrary connectivity.☆11Apr 2, 2026Updated 5 months ago
- From Symbolic Logic Reasoning to Soft Reasoning: A Neural-Symbolic Paradigm☆12Jul 18, 2022Updated 4 years ago
- Sound synthesis with physical models - from http://taopm.sourceforge.net☆11Jun 13, 2020Updated 6 years ago
- propositional satisfiability problem (SAT) goes neural and deep☆12Aug 17, 2021Updated 5 years ago
- Codes for paper "Stylized Story Generation with Style-Guided Planning"☆11May 9, 2021Updated 5 years ago
- Fast inference for high-quality simply-connected superpixels (a gpu implementation) Based on [Freifeld et al., ICIP '15]☆12Jul 11, 2020Updated 6 years ago
- ☆13Feb 22, 2025Updated last year
- Official repository for paper "Goal-Aware Neural SAT Solver"☆17Jun 10, 2023Updated 3 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.
- Implementation of the first neural natural logic paper on natural language inference☆10Oct 31, 2022Updated 3 years ago
- Python implementation for Combining Latent Space and Structured Kernels for Bayesian Optimization over Combinatorial Spaces.☆13Nov 30, 2021Updated 4 years ago
- Bayesian Optimization Excutable and Visualizable Application☆12Aug 14, 2023Updated 3 years ago
- ☆13Feb 9, 2024Updated 2 years ago
- ☆15Nov 19, 2020Updated 5 years ago
- Optimally-weighted herding is Bayesian Quadrature☆18Jul 8, 2016Updated 10 years ago
- A pytorch implementation of: "Unsupervised Deep Learning for Structured Shape Matching"☆16Jun 9, 2021Updated 5 years ago
- A modern C++ (C++17) procedural generation tool based on @galaxykate's tracery☆17Dec 8, 2019Updated 6 years ago
- Implementation of local search-based algorithms for solving SAT and Max-SAT in Python☆13Dec 6, 2020Updated 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.
- Performance of the C++ interface of flash attention and flash attention v2 in large language model (LLM) inference scenarios.☆15Aug 31, 2023Updated 3 years ago
- Tools for working with the .svo file format☆23Jun 28, 2016Updated 10 years ago
- A tool for explainability and debugging in Answer Set Programming.☆16May 15, 2026Updated 3 months ago
- [ICLR 2022 Spotlight] Multi-Stage Episodic Control for Strategic Exploration in Text Games☆15Feb 8, 2026Updated 6 months ago
- Resources on AI applications in the music domain☆22Apr 22, 2026Updated 4 months ago
- ☆11Feb 16, 2023Updated 3 years ago
- A digital audio workstation without tracks and where you edit samples in the frequency domains directly.☆21Mar 10, 2024Updated 2 years ago