Trajectory Recording and Capture Environments
☆19Jan 24, 2026Updated 5 months ago
Alternatives and similar repositories for trace
Users that are interested in trace are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆58Mar 18, 2026Updated 4 months ago
- ☆18Jun 18, 2026Updated last month
- A curated list of awesome Harbor ecosystem projects☆46May 29, 2026Updated last month
- Code for emailwallet.org. Decentralized, zk-proof based, privacy preserving email-based transactions on chain, token transfers to email a…☆13Jan 21, 2026Updated 5 months ago
- ☆13Oct 15, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Ludic – an LLM-RL library for the era of experience☆67Jan 9, 2026Updated 6 months ago
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆14Apr 8, 2024Updated 2 years ago
- The Solidity Smart-Contract Advisor is a cutting-edge tool designed to extend the capabilities of traditional language models in understa…☆13Mar 18, 2026Updated 4 months ago
- ☆11Nov 23, 2023Updated 2 years ago
- Python package for compressing floating-point PyTorch tensors☆13Jul 22, 2024Updated last year
- ☆10Dec 21, 2024Updated last year
- A Python library for LLM-based evaluation using weighted rubrics.☆70Feb 3, 2026Updated 5 months ago
- Generate a zero-knowledge proof for a SHA1 pre-image.☆12Mar 29, 2024Updated 2 years ago
- ☆134Mar 31, 2026Updated 3 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆10Nov 6, 2024Updated last year
- A naive attempt at generating better prompts for opencode using DSPy☆16Nov 29, 2025Updated 7 months ago
- ☆49May 27, 2025Updated last year
- A lightweight computational physics framework, based on the organization of turboWAVE. Implements a "Simulation, PhysicsModule, ComputeTo…☆12Jul 13, 2026Updated last week
- The react-native wrapper for rapidsnark☆15Apr 21, 2026Updated 2 months ago
- CAN YOU HEAR IT, CAN YOU FEEEEEEL IT☆17May 19, 2024Updated 2 years ago
- ☆10Oct 22, 2024Updated last year
- Example for exposing MCP servers to Pydantic Agents☆18Mar 16, 2025Updated last year
- a benchmark to evaluate the situated inductive reasoning☆16Jan 7, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆17Feb 17, 2024Updated 2 years ago
- Big integer arithmetic // secp256k1 & additional P256 ECC operations in circom☆16Dec 8, 2023Updated 2 years ago
- ☆13Apr 16, 2025Updated last year
- ☆14Dec 12, 2024Updated last year
- ☆17Jun 12, 2022Updated 4 years ago
- Behold the almighty 🗿totem🗿☆19Sep 19, 2024Updated last year
- Principal component analysis using a linear autoencoder☆16May 25, 2019Updated 7 years ago
- Samaya AI's FrontierFinance Benchmark Grader☆17Updated this week
- Proof contribute to github using zk☆27Jul 17, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Providing the answer to "How to do patching on all available SAEs on GPT-2?". It is an official repository of the implementation of the p…☆13Jan 26, 2025Updated last year
- Demo of knowledge graph creation and Graph RAG with Dspy and Kuzu☆22Jun 30, 2025Updated last year
- ☆17Dec 16, 2025Updated 7 months ago
- Lightcone: SDK for computer use agents☆16Updated this week
- ☆25Dec 21, 2024Updated last year
- a reference on testing and constraining circom☆21Oct 2, 2024Updated last year
- ☆15Jun 19, 2026Updated last month