SecurityPerf is a tool designed for benchmarking production workloads. In doing so, it makes measuring the impact of security programs on production workloads easy.
☆23Jan 12, 2024Updated 2 years ago
Alternatives and similar repositories for SecurityPerf
Users that are interested in SecurityPerf are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tool to generate a file of aliases for apparmor based on current nixos generation☆12May 12, 2025Updated last year
- ☆15Apr 28, 2023Updated 3 years ago
- Beautiful browser benchmarks☆11Sep 3, 2026Updated 2 months ago
- A fluentd plugin that can push data to splunk in either key=value or JSON format. Also supports reconnects on broken connections.☆11Jul 9, 2019Updated 7 years ago
- Proof of concept for OWASP Dependency-Track's own, centralized vulnerability database.☆12Apr 29, 2026Updated 6 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.
- a hassle-free GitHub Action to benchmark your code continuously.☆14Dec 1, 2025Updated 11 months ago
- SolidJS renderer for Markdoc☆10May 15, 2022Updated 4 years ago
- Clever Cloud's exherbo repository☆17Updated this week
- An example of a Ruby on Rails app in a CI pipeline being tested for security risks and vulnerabilites☆11Oct 23, 2014Updated 12 years ago
- Proofmood is a computer logic system specifically tailored for Fitch calculus, covering propositional logic, first-order logic, and type …☆12Nov 1, 2023Updated 3 years ago
- FXC Simple Secret Sharing - clojure library☆13Jun 24, 2019Updated 7 years ago
- cli tool to provide unified interface for benchmark unit-testing☆10Aug 6, 2024Updated 2 years ago
- A golang library for caching KV values stored in Consul☆11Dec 13, 2014Updated 11 years ago
- Lean implementations of things found in Certified Programming with Dependent Types☆15Jun 5, 2022Updated 4 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.
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- VKCapture with KMSGrab included☆12Sep 9, 2024Updated 2 years ago
- Generate or convert random bytes into passphrases. A Rust port of niceware.☆23Jan 29, 2022Updated 4 years ago
- Package cobblestone implements the chunked (or streaming) encryption scheme Cobblestone-128, as described in c2sp.org/chunked-encryption.☆17Aug 29, 2026Updated 2 months ago
- Reachability triage for vulnerability scans. Feeds scanner findings to an LLM agent that reads your source and decides which CVEs are act…☆17Oct 21, 2026Updated 2 weeks ago
- Experimental deltachat client☆16May 11, 2024Updated 2 years ago
- Convert Linux perf traces to Go pprof format☆21Jul 20, 2016Updated 10 years ago
- (read-only mirror)☆20Jan 10, 2023Updated 3 years ago
- Sokoban implementation in lean for proving solvability / unsolvability☆14Apr 21, 2021Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- A simple command-line bibtex query utility written in Lean 4☆11Oct 27, 2026Updated last week
- A library for watching service configuration from various sources on the JVM☆16Jul 15, 2022Updated 4 years ago
- Tonton siaran TV IndiHome tanpa STB☆12Jul 22, 2026Updated 3 months ago
- Formal grammars in Lean 3☆10Aug 14, 2023Updated 3 years ago
- Basic slide deck theme for Marp☆14May 12, 2022Updated 4 years ago
- Rust FFI for creating Apache httpd modules.☆12Apr 14, 2024Updated 2 years ago
- Linux based Anti-DDOS kernel Firewall using xdp/eBPF technology☆10May 15, 2025Updated last year
- This is the code repository for **Prompting Client**☆18Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A Microsoft Word Add-in (2013+) that helps with building templates for Docassemble.org guided interviews☆14Jun 14, 2018Updated 8 years ago
- ☆12May 4, 2014Updated 12 years ago
- Schematron based JSON Semantic Validator☆18Jan 5, 2020Updated 6 years ago
- Verification of Smart Contracts with Dafny – FMICS paper examples☆11Feb 8, 2024Updated 2 years ago
- Software for rendering statemaps☆21Jun 23, 2025Updated last year
- Secure wordlist-based passphrase generator☆21Mar 28, 2017Updated 9 years ago
- Functional Programming in Lean の日本語訳. 演習問題への解答を含みます☆12Dec 14, 2024Updated last year
Are these results useful?