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:
- ☆15Apr 28, 2023Updated 3 years ago
- Beautiful browser benchmarks☆11Sep 3, 2026Updated last month
- A simple /proc/<pid>/{mem,maps} library for Rust☆11May 28, 2022Updated 4 years ago
- a hassle-free GitHub Action to benchmark your code continuously.☆14Dec 1, 2025Updated 10 months ago
- A pass extension that lets you quickly create ssh keypairs and output public keys using fzf or rofi.☆16Dec 19, 2021Updated 4 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.
- SolidJS renderer for Markdoc☆10May 15, 2022Updated 4 years ago
- Firefox Profiler server and data storage infrastructure☆21Updated this week
- Ansible lookup plugin for pass (https://www.passwordstore.org).☆12Mar 1, 2021Updated 5 years ago
- VKCapture with KMSGrab included☆12Sep 9, 2024Updated 2 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Experimental deltachat client☆15May 11, 2024Updated 2 years ago
- SQLBench Runners☆13Dec 17, 2023Updated 2 years ago
- Sokoban implementation in lean for proving solvability / unsolvability☆14Apr 21, 2021Updated 5 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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
- ☆17Updated this week
- Metamath logic game☆10Aug 11, 2026Updated 2 months ago
- Community driven landing page generator for open source projects☆15Jan 25, 2016Updated 10 years ago
- Verification of Smart Contracts with Dafny – FMICS paper examples☆11Feb 8, 2024Updated 2 years ago
- Lean 3 web editor☆12Oct 25, 2023Updated 2 years ago
- Convert Linux perf traces to Go pprof format☆21Jul 20, 2016Updated 10 years ago
- ☆13Oct 31, 2021Updated 4 years ago
- 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.
- Formal grammars in Lean 3☆10Aug 14, 2023Updated 3 years ago
- A library for watching service configuration from various sources on the JVM☆14Jul 15, 2022Updated 4 years ago
- A Rust implementation of fANOVA (functional analysis of variance)☆16May 21, 2026Updated 4 months ago
- An OpenMath 2.0 implementation in Python☆17May 22, 2020Updated 6 years ago
- Secure wordlist-based passphrase generator☆21Mar 28, 2017Updated 9 years ago
- ☆15Apr 5, 2016Updated 10 years ago
- This repository contains the demo material built on top of ebpf-for-windows platform.☆52Jun 6, 2026Updated 4 months ago
- Main repository of the BeFaaS project☆15Jun 29, 2023Updated 3 years ago
- RISCV port of the Slackware distribution☆13Jan 15, 2026Updated 9 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Data Backend server that uses eBPF to monitor network connections and provide real-time network analytics.☆19Aug 14, 2025Updated last year
- Formalization of type theory☆22Jul 5, 2021Updated 5 years ago
- A stunnel module.☆15Nov 18, 2020Updated 5 years ago
- ☆15Updated this week
- Material from M1P1, formalised in Lean☆15Nov 2, 2019Updated 6 years ago
- Cargo subcommand to export compiler artifacts☆21Nov 3, 2025Updated 11 months ago
- Immutable Adaptive Radix Tree implementation in go☆21Aug 15, 2026Updated 2 months ago