Lists (1)
Stars
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs!
Auto-configure CFS and process priorities for improved desktop responsiveness
R library to estimate the Effective Reproduction Number (Rt)
Optimise Linux system performance on demand
A web browser that plays old world blues to build new world hope
Run macOS VM in a Docker! Run near native OSX-KVM in Docker! X11 Forwarding! CI/CD for OS X Security Research! Docker mac Containers.
A smarter cd command. Supports all major shells.
An extremely fast Python linter and code formatter, written in Rust.
picolibc - a C library designed for embedded 32- and 64- bit systems.
Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine
Kirk application aims to merge multiple Linux testing frameworks in one tool.
A flexible distributed key-value datastore that supports both caching and beyond caching workloads.
A massively spiffy yet delicately unobtrusive compression library.
Yet another cross-platform graphical process/system monitor.
pyinfra turns Python code into shell commands and runs them on your servers. Execute ad-hoc commands and write declarative operations. Target SSH servers, local machine and Docker containers. Fast …
A curated list of replacements for existing software written in Rust
Password/passphrase strength checking and policy enforcement
An open letter to the CVE Project and CNAs
Tools for use with the s390 Linux kernel and device drivers
⬛️ CLI tool for saving complete web pages as a single HTML file