☆20Apr 22, 2026Updated 6 months ago
Alternatives and similar repositories for galette
Users that are interested in galette are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Property-based testing for Java, built on Hypothesis☆26Oct 22, 2026Updated last week
- ☆22Sep 28, 2022Updated 4 years ago
- OpenDST - Deterministic Simulation Testing for Java☆27Jul 16, 2026Updated 3 months ago
- ☆11Sep 2, 2024Updated 2 years ago
- A Tool for Mining Flaky Tests at Scale☆16Jul 30, 2025Updated last year
- 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.
- SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.☆47Updated this week
- ☆13Apr 10, 2025Updated last year
- Mutation-guided mutation-based fuzz testing☆53Jul 13, 2024Updated 2 years ago
- A benchmark for Java gadget chain detecting algorithms.☆18Jun 20, 2025Updated last year
- Phosphor: Dynamic Taint Tracking for the JVM☆182Jun 17, 2025Updated last year
- Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.☆55Mar 23, 2026Updated 7 months ago
- ☆13Oct 22, 2026Updated last week
- ☆10Apr 28, 2025Updated last year
- Dynamic taint analysis for Python.☆11Jul 20, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Mandoline is an accurate, low-overhead dynamic slicer for Android applicaions.☆11Apr 24, 2026Updated 6 months ago
- The repo of "BugLens"☆42Jul 4, 2026Updated 3 months ago
- A program slicer for Java, based on the system dependence graph (SDG).☆72Apr 15, 2026Updated 6 months ago
- ☆11Oct 12, 2026Updated 2 weeks ago
- Bin2Summary: Beyond Function Name Prediction in Stripped Binaries with Functionality-specific Code Embeddings☆10Jul 21, 2024Updated 2 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆15Oct 8, 2026Updated 3 weeks ago
- JReduce is a tool to reduce Java ByteCode☆13Oct 12, 2021Updated 5 years ago
- Filibuster application corpus.☆10Sep 28, 2022Updated 4 years ago
- Literature Collection of Static Analyzer Analysis and Testing☆13Jul 29, 2026Updated 3 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- LDAP_MATCHING_RULE_IN_CHAIN matching rule for OpenLDAP☆15Mar 27, 2024Updated 2 years ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆32Sep 11, 2019Updated 7 years ago
- Based on lectures on the LLM-Verifier Interface at the Summer School on Foundations of Programming and Software Systems (FoPSS 2026)☆17Jul 14, 2026Updated 3 months ago
- Community-driven effort to facilitate discovery, access and systematization of data related to Large Language Models used for security pe…☆12Sep 26, 2024Updated 2 years ago
- Semantic Crash Bucketing☆17Sep 8, 2020Updated 6 years ago
- Custom Linux scheduler for concurrency fuzzing written in Java with hello-ebpf☆37Sep 7, 2026Updated last month
- Python bindings for libsrcml☆18Aug 25, 2025Updated last year
- ☆12Jun 14, 2023Updated 3 years ago
- Bechmarking Java's instanceof and its alternatives☆16May 11, 2020Updated 6 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 hybrid analysis framework to aid in uncovering deserialization vulnerabilities☆15Oct 13, 2024Updated 2 years ago
- ☆17Nov 25, 2019Updated 6 years ago
- Xmake C++23 project template. Using C++ modules, github workflows for CI/CD (Windows and Ubuntu) and gtest for testing. Compiles with bot…☆18Mar 11, 2024Updated 2 years ago
- Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.☆42Feb 1, 2024Updated 2 years ago
- A hyperintensional theorem prover for rapidly prototyping modular semantic theories☆13Oct 15, 2026Updated 2 weeks ago
- StAtutory Reasoning Assessment☆17Dec 8, 2022Updated 3 years ago
- ☆17Apr 7, 2026Updated 6 months ago