☆13May 11, 2026Updated 5 months ago
Alternatives and similar repositories for layout-quickcheck
Users that are interested in layout-quickcheck are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆18Aug 20, 2025Updated last year
- This is the repository for paper "Toss a Fault to BpfChecker: Revealing Implementation Flaws for eBPF runtimes with Differential Fuzzing"…☆16Dec 10, 2024Updated last year
- Decrypt Vigenère ciphers with missing keys through language-agnostic Chi-squared statistical tests.☆10Jan 17, 2025Updated last year
- Rigorous Floating-Point Mixed-Precision Tuner☆18May 21, 2020Updated 6 years ago
- A proof of concept which generates mutations based on an abstract syntax tree☆15Nov 4, 2016Updated 9 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.
- Compile time checks that a computation considers producing data through all possible constructors☆11Sep 19, 2019Updated 7 years ago
- Translate C macros and condtional compilation to Rust☆27Aug 2, 2026Updated 2 months ago
- Haskell library for the Chrome DevTools Protocol☆11Sep 3, 2026Updated last month
- A platform for exploring floating-point expressions☆27Sep 10, 2025Updated last year
- Jubilant is a Pythonic wrapper around the Juju CLI, primarily for charm integration testing.☆22Oct 14, 2026Updated last week
- A tiny LED display information screen☆14Oct 10, 2026Updated last week
- ☆13Jun 26, 2019Updated 7 years ago
- Execute shellcode and evade AV detection with python.☆15Oct 8, 2015Updated 11 years ago
- A new type of js fuzzer☆26Feb 10, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Draws the Collatz Conjecture multiverse from this video! https://www.youtube.com/watch?v=n63FBYqj98E☆23Nov 23, 2025Updated 10 months ago
- IDA loader module for Hidden Bee's custom executable file format☆20Sep 2, 2018Updated 8 years ago
- An aid for developing correct WebAssembly implementations through generative fuzzing☆15Aug 30, 2022Updated 4 years ago
- Educational Verilog CPU Implementations of a Tiny Instruction Set☆14Oct 22, 2019Updated 7 years ago
- Async tutorial (my HaskellerZ 2020 talk)☆13Apr 30, 2020Updated 6 years ago
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 5 years ago
- ☆12Jun 20, 2022Updated 4 years ago
- scripts, snippets etc.☆24Oct 11, 2026Updated last week
- A defensive decompilation layer: Ghidra facts, lifted into runnable Python & artifacts aiding analysis.☆16Aug 7, 2026Updated 2 months 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.
- ☆12Apr 7, 2026Updated 6 months ago
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated last year
- ☆10Sep 10, 2022Updated 4 years ago
- ☆40Oct 8, 2026Updated 2 weeks ago
- ☆11Aug 30, 2024Updated 2 years ago
- High performance C++ computing examples developed for resources available from the Texas Advanced Computing Center at the University of T…☆13Sep 17, 2018Updated 8 years ago
- A browser fuzzer augmented by API mod-ref relations☆35Mar 8, 2024Updated 2 years ago
- Scripts for Rails production environment install on Ubuntu Server☆13Nov 28, 2017Updated 8 years ago
- probabilistic programming focused on fun☆53Aug 6, 2026Updated 2 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Reference type checker for the Lean theorem prover☆18Feb 14, 2018Updated 8 years ago
- ☆23Feb 2, 2026Updated 8 months ago
- a grep that can search for multiple words at once and across paragraphs, powered by the RE# regex engine.☆14Jul 9, 2026Updated 3 months ago
- JSON5 implementation for jq☆13Jun 16, 2025Updated last year
- BigMap integration on AFL++☆15Apr 5, 2021Updated 5 years ago
- a little place for your deployments☆47Dec 4, 2017Updated 8 years ago
- ☆14Updated this week