Sniff: Misalignment detection in Vibe Coding loops
☆23Jul 30, 2025Updated last year
Alternatives and similar repositories for sniff
Users that are interested in sniff are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Empirical Analysis and Modeling of Black-Box Mutational Fuzzing☆10Mar 30, 2016Updated 10 years ago
- ffms2 bindings☆13Sep 15, 2026Updated last month
- ☆10Jan 11, 2019Updated 7 years ago
- A game for Lounge's game jam☆10Mar 22, 2015Updated 11 years ago
- sbt plugin to upload SCIP indexes to Sourcegraph for precise code intelligence☆16Jun 2, 2026Updated 4 months ago
- 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.
- Compile time checks that a computation considers producing data through all possible constructors☆11Sep 19, 2019Updated 7 years ago
- Mark Volkmann's blog using 11ty☆13Sep 20, 2026Updated last month
- Notes and slides from my Encodings talk at RubyConf Brasil 2010☆13Nov 1, 2010Updated 15 years ago
- Various mechanized proof files for fun.☆17Oct 2, 2026Updated 3 weeks ago
- Idris Version Manager☆17Feb 23, 2025Updated last year
- Experiment with synthetic domain theory in cubical agda☆16Nov 8, 2022Updated 3 years ago
- A programming language with first-class modules and algebraic effects.☆15Dec 3, 2022Updated 3 years ago
- A self-verifying, self-improving Place for an AI to live within: an untrusted inhabitant acts through a machine-checked policy envelope w…☆19Sep 26, 2026Updated last month
- the acorn javascript parser, preloaded with plugins for syntax parity with recent node versions☆13Jun 26, 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.
- College assignment writing in which I ramble about type classes and dependent types.☆12Dec 11, 2020Updated 5 years ago
- an ocaml package to generate ULIDs☆20Jan 2, 2019Updated 7 years ago
- ☆12Updated this week
- List of distributions that can be bootstrapped from source☆17Updated this week
- Minimalistic livestreaming site☆13Oct 5, 2025Updated last year
- TaPL implementation bits in Idris2☆17Feb 27, 2022Updated 4 years ago
- Proof-of-concept Huff smart contracts for deploying arbitrary bytecode to deterministic addresses☆36Jan 16, 2023Updated 3 years ago
- Interactive s-expression tree viewer☆13Jul 25, 2026Updated 3 months ago
- Automatically load (Japanese) subtitles in MPV☆15Jan 13, 2026Updated 9 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.
- `comby.el` is a simple wrapper around comby - https://comby.dev/☆16Jun 29, 2020Updated 6 years ago
- Access an object from a single Tokio task☆13Feb 17, 2019Updated 7 years ago
- Whelk is an OWL EL reasoner☆23Jun 29, 2026Updated 3 months ago
- simple text editor using rust language.☆14Apr 13, 2020Updated 6 years ago
- ☆16Apr 16, 2021Updated 5 years ago
- A big integer rational number☆15Jan 24, 2019Updated 7 years ago
- Semantic Crash Bucketing☆17Sep 8, 2020Updated 6 years ago
- Mirror of SMHasher3 repo from official Gitlab site. Submit all issues and PRs there, not on Github!☆18Aug 27, 2026Updated 2 months ago
- Scrap Your Boilerplate for MetaOCaml with modular implicits☆19Dec 21, 2015Updated 10 years 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.
- My Nixos config and user dotfiles☆16Oct 16, 2026Updated last week
- a small self-hosting C compiler.☆15Jun 2, 2023Updated 3 years ago
- ☆16Feb 20, 2019Updated 7 years ago
- Use your cookies from browsers in your curl, wget and httpie requests!☆21Jun 20, 2026Updated 4 months ago
- Extreme inline text compression for HTML / JS. A custom pipeline that generates stand-alone HTML or JS files which embed competitively co…☆19Jan 12, 2025Updated last year
- ☆11Jun 20, 2023Updated 3 years ago
- DARPA CASE program☆16Jun 10, 2025Updated last year