Starred repositories
37
results
for source starred repositories
Clear filter
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)
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
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.