A minimal, resource efficient unikernel for cloud services

Simple, fast, accurate single-header microbenchmarking functionality for C++11/14/17/20

A small utility for listing and reaping zombie processes on GNU/Linux.

PAWK - A Python line processor (like AWK)

Easy-to-use CUI for fixing git conflicts

Terminal based bit manipulator in ncurses

📂 🐇 🎩 See what a program does before deciding whether you really want it to happen (NO LONGER MAINTAINED)

We're insanely passionate about command line asm documentation in the cloud, and we're crushing it!

Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)

Undervolt Intel CPUs under Linux

Guide to linux undervolting for Haswell and never Intel CPUs

Script to undervolt Intel CPUs

🇺🇦 Windows driver with usermode interface which can hide processes, file-system and registry objects, protect processes and etc

This repository contains the source code of toro unikernel

DEPRECATED. USE INSTEAD github.com/blockspacer/flextool

use cling scripting with C++ and cmake

Microsoft SEAL is an easy-to-use and powerful homomorphic encryption library.

Decode binaries and print out which instruction set extensions they use. This program's name is a lie: it supports not just x86/ELF but also ARM64, MachO, and possibly more.

The Z3 Theorem Prover

A high-speed network driver written in C, Rust, C++, Go, C#, Java, OCaml, Haskell, Swift, Javascript, and Python

A toolkit for building secure, portable and lean operating systems for containers

Cross compiling toolchains in Docker images

A gently curated list of companies using verification formal methods in industry

Frankencert - Adversarial Testing of Certificate Validation in SSL/TLS Implementations

UEFI shim loader

Public snapshots of "ACSL by Example"

EbbRT: elastic building block runtime

A benchmark to compare synchronization techniques for multicore programming

Metasploit Framework

SSL and TLS protocol test suite and fuzzer