Starred repositories
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.
The Amazon S3 Connector for PyTorch delivers high throughput for PyTorch training jobs that access and store data in Amazon S3.
Implementation of the Cedar Policy Language
A simple, high-throughput file client for mounting an Amazon S3 bucket as a local file system.
Fastest CRC32 for x86, Intel and AMD, + comprehensive derivation and discussion of various approaches
Shuttle is a library for testing concurrent Rust code
A model checker for implementing distributed systems.
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 …
Automatic bit vector program generation.
Intermediate Language (IL) for Hardware Accelerator Generators
Hydra is a framework for elegantly configuring complex applications
Dafny is a verification-aware programming language
Utilities used in the experiments for the DeepCoder paper (ICLR'17)
A slackbot to compete on mini crosswords (or any other daily challenge).
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
Source-to-Source Debuggable Derivatives in Pure Python
Racket support for Visual Studio Code with better inteliSense
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 webfont of the typeface used in Edward Tufte’s books.