NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript, Python, Rust, and Java that runs inside VS Code and supports fuzz, example, and property-based testing
☆52Oct 24, 2026Updated this week
Alternatives and similar repositories for nanofuzz
Users that are interested in nanofuzz are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Jul 1, 2024Updated 2 years ago
- Finding ownership bugs at scale.☆95Updated this week
- An optimized Sparse Merkle Tree in Rust☆65Sep 2, 2025Updated last year
- Composable autodiff for the interactive web.☆32Sep 23, 2024Updated 2 years ago
- A simple Rust crate to cache data both in-memory and on disk☆11Dec 26, 2021Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A simple CTF platform in a single binary☆11Jun 21, 2020Updated 6 years ago
- WebAssembly utility functions for SurrealQL parsing and validation☆14Jun 13, 2026Updated 4 months ago
- A trie data structure implemented in OCaml☆10Feb 8, 2012Updated 14 years ago
- Junco - a local AI coding agent in Swift☆11Apr 24, 2026Updated 6 months ago
- Apple Foundation Models CLI Access☆19Jul 22, 2026Updated 3 months ago
- ☆12Jan 8, 2016Updated 10 years ago
- A fast bump allocator that supports allocation scopes / checkpoints. Aka an arena for values of arbitrary types.☆77Updated this week
- Understanding and Reusing Test Suites Across Database Systems. SIGMOD'25☆11Jan 13, 2026Updated 9 months ago
- A no-frills Racket macro library to extend ffi/unsafe with C++ compatibility.☆10Feb 5, 2020Updated 6 years ago
- 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.
- A framework for writing plugins that integrate with the Rust compiler☆178Jun 7, 2026Updated 4 months ago
- Android Temperature Converter☆13Nov 12, 2014Updated 11 years ago
- ☆10Dec 13, 2021Updated 4 years ago
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 8 years ago
- Simple Soot program that detects whether an Android application leaks sensitive data.☆13Jan 7, 2013Updated 13 years ago
- Salon des Refusés - Dialectics for new computer science☆11Feb 6, 2019Updated 7 years ago
- Lean 4 framework for reasoning about Triton-style kernels.☆29Updated this week
- ☆13May 31, 2026Updated 4 months ago
- Verifying curve25519-dalek using Lean☆14Oct 12, 2026Updated 2 weeks ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆15Aug 11, 2026Updated 2 months ago
- ☆12Dec 25, 2023Updated 2 years ago
- Syntax Parse Bee 2021☆11Nov 7, 2022Updated 3 years ago
- A DL compiler fuzzer☆15Nov 1, 2024Updated last year
- Tool for differentially testing soundness and precision of program analyzers☆12Oct 19, 2018Updated 8 years ago
- Combinator Library for writing test generators and test properties for Android Apps☆12Jul 26, 2019Updated 7 years ago
- Sources of the EuroProofNet web site.☆13Sep 3, 2026Updated last month
- Minimal Cython interface to LLVM JIT☆12Apr 24, 2012Updated 14 years ago
- Java Library wrapper for Ghidra Headless Analysis + Java Samples☆22Nov 20, 2025Updated 11 months ago
- 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.
- Source to "Binding as Sets of Scopes"☆10May 4, 2016Updated 10 years ago
- A Constraint Solver☆11Dec 4, 2015Updated 10 years ago
- My personal Racket library of useful or generic commands☆11Feb 14, 2025Updated last year
- Lean formalization of a complex structure on the six-sphere☆17Oct 8, 2026Updated 3 weeks ago
- AndroidSlicer is a dynamic slicing tool, useful for a variety of tasks, from testing to debugging to security.☆14Jul 28, 2019Updated 7 years ago
- Automated Testing Tool for Graph-processing Systems.☆12Jul 31, 2026Updated 2 months ago
- Experimental (machine-type-abstracting?) ranged types in Rust☆13Apr 17, 2022Updated 4 years ago