Automatic verification of LLVM optimizations

🏔 Calculating total viewsheds for geographic terrain using a cache-efficient and hightly parallel algorithm

A markdown terminal slideshow tool

ldd as a tree

Run nightly, more expensive tests for several repositories

Fast web applications through dynamic, partially-stateful dataflow

Static analysis tool to detect potential nil panics in Go code

The P programming language.

An experimental optimizing compiler for Bril using egglog

egraphs + datalog!

Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations

PaSh: Light-touch Data-Parallel Shell Processing

Inspect a command's effects before modifying your live system

</> htmx - high power tools for HTML

Go subcommand library.

Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs

An open source, self-hosted implementation of the Tailscale control server

Self-contained Machine Learning and Natural Language Processing library in Go

📖 A collection of pure POSIX sh alternatives to external processes.

A Python compiler design toolkit.

Deploy web apps anywhere.

Gophercloud: an OpenStack SDK for Go

Container runtimes on macOS (and Linux) with minimal setup

Package libvirt provides a pure Go interface for interacting with Libvirt. Apache 2.0 Licensed.

Blazing fast syslog parser

Makes reverse engineering Android apps easier, automating repetitive tasks like pulling, decoding, rebuilding and patching an APK.

A plugin that offers widgets for Wear OS by Google