Per-commit evidence records for agent-written code. Captures what the agent tried, what verified it, and what nobody reviewed
☆23Sep 15, 2026Updated last month
Alternatives and similar repositories for docket
Users that are interested in docket are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Mistype a command and zcomplete runs the one you meant, worked out from the commands you usually run. zsh, bash and fish.☆31Aug 25, 2026Updated 2 months ago
- ☆12Dec 18, 2025Updated 10 months ago
- CLI tool for dynamic SemVer versioning using Git and tags☆33Sep 9, 2025Updated last year
- CLI tool for stateful random access of file streams☆27Dec 21, 2025Updated 10 months ago
- 🎨 A ppx that generates styles based on Bs-Css from a Figma document☆12Nov 16, 2020Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- The ultimate multi-repo utility for git!☆11Nov 4, 2022Updated 4 years ago
- CI and hosting for nix-based, flakified github repos☆13Nov 3, 2026Updated last week
- https://www.pling.com/p/1528605/☆10May 24, 2021Updated 5 years ago
- A curated list of awesome Docute resources.☆16Jul 29, 2019Updated 7 years ago
- JIT for WireGuard. Open Source and MIT Licensed. Based on the explanation by Fly.io on their website.☆12Mar 15, 2024Updated 2 years ago
- AnonDNS: encrypting and anonymizing all your DNS requests with Tor☆19Sep 11, 2018Updated 8 years ago
- An awful pasting application written in CHICKEN Scheme☆14Jun 26, 2024Updated 2 years ago
- ☆11Jul 28, 2026Updated 3 months ago
- ☆11Jan 5, 2023Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- automatically detect and classify notes from a piano sound recording, using NNs☆10Jul 28, 2019Updated 7 years ago
- dinit configured with the NixOS module system☆17Oct 1, 2026Updated last month
- Good guy in the middle - transparent HTTPS redirection☆16Mar 1, 2019Updated 7 years ago
- Payout Module, a thin C layer around the SSP protocol☆10Nov 6, 2016Updated 10 years ago
- Personal site 🌱☆14Jun 21, 2026Updated 4 months ago
- Finds the bin directory where node and npm are installed, or installs a local copy of them if not found. Then outputs where they are.☆13Aug 13, 2020Updated 6 years ago
- Experimental benchmark of JavaScript frameworks and Claude token usage on a sample app☆24Oct 31, 2026Updated last week
- Code similarity detection using treesitter☆90Nov 4, 2026Updated last week
- Declarative DSL for describing scenes and rendering them to SVG or PNG☆13Oct 9, 2026Updated last month
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- unlock cryptdisk remotely☆13Sep 4, 2018Updated 8 years ago
- Front-end code playground inspired by my recurring need to quickly test something out in a pristine environment i.e. new tab.☆11Sep 17, 2019Updated 7 years ago
- incremental selection with tree-sitter☆14Dec 29, 2025Updated 10 months ago
- Haskell implementation of the Lojban lujvo-making algorithm☆12Feb 12, 2021Updated 5 years ago
- ☆10May 14, 2020Updated 6 years ago
- Agent plugin that scaffolds tested, cost-honest cloud infrastructure from a versioned module catalog☆278Updated this week
- Algoan Fake Open Banking data storage shared to test APIs.☆11Updated this week
- A glossary of terms relating to package management☆14May 29, 2018Updated 8 years ago
- The raw sources of a porting attempt of a 20150730 snapshot of Android init to GNU/Linux☆15Aug 5, 2015Updated 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.
- python programm that activates or deactivates pulseaudio-equalizer based on output port (headphones or speakers)☆12Apr 2, 2014Updated 12 years ago
- ☆16Jul 10, 2020Updated 6 years ago
- T3 Code Bar☆28Updated this week
- A snackable Neovim setup☆16Sep 15, 2026Updated last month
- an opiniated photo management app for minimalists (deprecated)☆20Aug 12, 2014Updated 12 years ago
- ☆12Feb 6, 2026Updated 9 months ago
- The next generation DUI.☆13Oct 16, 2020Updated 6 years ago
Are these results useful?