🌸 A command-line fuzzy finder

A simple, fast and user-friendly alternative to 'find'

A set of small, responsive CSS modules that you can use in every web project.

A typeface designed for source code

A JavaScript bundle optimizer.

Pythonic HTML Parsing for Humans™

The Z3 Theorem Prover

A minimalist CSS framework.

Hydra is a framework for elegantly configuring complex applications

A simple, high-throughput file client for mounting an Amazon S3 bucket as a local file system.

The Racket repository

Dafny is a verification-aware programming language

Computer vision assisted tool to extract numerical data from plot images.

Source-to-Source Debuggable Derivatives in Pure Python

A model checker for implementing distributed systems.

A webfont of the typeface used in Edward Tufte’s books.

Implementation of the Cedar Policy Language

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

Shuttle is a library for testing concurrent Rust code

The Rosette solver-aided host language, sample solver-aided DSLs, and demos

Intermediate Language (IL) for Hardware Accelerator Generators

SRI Yices SMT Solver

Built on Mountpoint for Amazon S3, the Mountpoint CSI driver presents an Amazon S3 bucket as a storage volume accessible by containers in your Kubernetes cluster.

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

Fastest CRC32 for x86, Intel and AMD, + comprehensive derivation and discussion of various approaches

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name …

The Amazon S3 Connector for PyTorch delivers high throughput for PyTorch training jobs that access and store data in Amazon S3.

Run experiments with Python - quick and clean.

Vulkan Memory Model