Software Reliability & Correctness Skills
☆111Apr 15, 2026Updated this week
Alternatives and similar repositories for spec
Users that are interested in spec are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Form validation built with Nextjs, TypeScript, Shadcn UI, Prisma, NextAuth and Supabase✨☆10Oct 26, 2023Updated 2 years ago
- TLAi+ Benchmarks☆31Feb 6, 2026Updated 2 months ago
- UnitCamS3 user demo for hardware evaluation.☆17Apr 1, 2025Updated last year
- Simple PoC package for testing for dependency confusion vulnerabilities.☆10Feb 9, 2021Updated 5 years ago
- Spawns a process from a process. Can sometimes be used to run a session > 0 process from session 0.☆20Jul 8, 2022Updated 3 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.
- NetVuln 2.0 - As the Predeccessor to NetVuln 1.0 - This Newer program will not only be able to perform a port scan and subdomain scan b…☆21Aug 11, 2025Updated 8 months ago
- Covenant is a collaborative .NET C2 framework for red teamers.☆12Jul 15, 2022Updated 3 years ago
- study https://github.com/n132/Libc-GOT-Hijacking☆15Dec 7, 2023Updated 2 years ago
- ida utilities / plugins / scripts☆90Jan 29, 2026Updated 2 months ago
- Wouter Castryck, Thomas Decru. "An efficient key recovery attack on SIDH" の実装☆11Aug 12, 2023Updated 2 years ago
- An unofficial wrapper for the HackerOne API☆16Apr 14, 2025Updated last year
- Implements Coron's simplification of Coppersmith's algorithm☆10May 28, 2017Updated 8 years ago
- Nuclei Pre-Master Template Downloader☆23Aug 8, 2024Updated last year
- Using SVF in Python Projects☆18Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆17Aug 15, 2023Updated 2 years ago
- ☆15Jun 7, 2024Updated last year
- RGFuzz: Rule-Guided Fuzzer for WebAssembly Runtimes☆23Jan 10, 2026Updated 3 months ago
- Mentally ill EtwTi parser☆69Jan 11, 2026Updated 3 months ago
- A PyTorch-Lightning based deep learning framework.☆11Updated this week
- A minimalist macOS app to convert a snap of Equation to LaTeX without paying☆16Jun 14, 2024Updated last year
- Get SYSTEM via SeDebugPrivilege☆24Jun 6, 2022Updated 3 years ago
- Port scanning is crucial in recon, but running it manually on big scopes? Nope. That’s why I made Nmap Bomber a Python script that runs f…☆41Jul 31, 2025Updated 8 months ago
- CLI tool that extracts a regex pattern from a list of urls ( Rust )☆61Sep 14, 2022Updated 3 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.
- Code for ISSTA'21 paper 'Attack as Defense: Characterizing Adversarial Examples using Robustness'.☆12Sep 4, 2021Updated 4 years ago
- This repository contains a list of python scripts to work with Microsoft RPC for research purposes.☆51Jan 31, 2025Updated last year
- ☆33Jun 19, 2021Updated 4 years ago
- CTF writeups☆12Aug 10, 2020Updated 5 years ago
- This tool calculates tricky canonical huffman histogram for CVE-2023-4863.☆26Dec 20, 2023Updated 2 years ago
- ☆11Nov 1, 2023Updated 2 years ago
- Burp Suite extension to log GraphQL operations as a comment☆23Aug 9, 2021Updated 4 years ago
- A tool to perform so called BGE attack☆26Jun 13, 2025Updated 10 months ago
- Painless C++ vtables & classes☆20Sep 21, 2022Updated 3 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.
- The world's first (and hopefully last) pure-bash implementation of the LLL algorithm☆19Aug 21, 2023Updated 2 years ago
- A module for CME that spiders across a domain.☆35Jul 15, 2022Updated 3 years ago
- A BurpSuite plugin for BBRF☆26Nov 17, 2024Updated last year
- An implementation of RSA extending Wiener attack☆16Dec 28, 2021Updated 4 years ago
- DafnyBench: A Benchmark for Formal Software Verification☆61Dec 12, 2024Updated last year
- A starter for Solidity smart contracts for Ethereum☆34Dec 4, 2025Updated 4 months ago
- ☆16Jan 23, 2026Updated 2 months ago