NetCov: test coverage for network configurations

Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely …

Some notes on things I find interesting and important.

Line-by-line profiling for Python

Sampling profiler for Python programs

Store SSH keys in the Secure Enclave

A conformant OpenGL ES implementation for Windows, Mac, Linux, iOS and Android.

Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.

Virtual machines for iOS and macOS

Real-time Data Integration and Transformation: use SQL to transform, deliver, and act on fast-changing data.

A powerful, beautiful, and simple podcast client for the modern free desktop.

To easily get your highlights into plain text, alternative to something like Clippings.io

📱 Collaborative List of Open-Source iOS Apps

Export Vocabulary Builder to Anki APKG

Convert your Amazon Kindle highlights and notes into markdown (or any format).

A calibre UI plugin that fetches and imports annotations from a variety of readers and iOS applications

A virtual audio driver for macOS that sends all audio to another output

Make Zotero effective for us LaTeX holdouts

Tips, Examples, and Resources for Writing with Emacs

The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

The extensible drawing editor Ipe

TikZ exporter ipelet

Papers from the computer science community to read and discuss.

GoogleTest - Google Testing and Mocking Framework

A microbenchmark support library

A benchmark to compare synchronization techniques for multicore programming

The Z3 Theorem Prover

Animation engine for explanatory math videos