Andrea Lattuada's repositories
verus
Verified Rust for low-level systems code
rust
Empowering everyone to build reliable and efficient software.
verified-betrfs
A verified high-performance file system
z3
The Z3 Theorem Prover
database-stream-processor
Streaming and Incremental Computation Framework
creusot
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
node-replicated-kernel
Experimental kernel with built-in replication.
streaming-harness
A benchmarking harness for streaming systems
timely-dataflow
A modular implementation of timely dataflow in Rust
spsc-bip-buffer
A concurrent, spsc ring-buffer with sized reservations
dafny
Dafny is a verification-aware programming language
polonius
Defines the Rust borrow checker.
YCSB-C
Yahoo! Cloud Serving Benchmark in C++, a C++ version of YCSB (https://github.com/brianfrankcooper/YCSB/wiki)
hdrhist-cpp
Small footprint hdr histogram in c++ (header-only)
differential-dataflow
An implementation of differential dataflow using timely dataflow on Rust.
timely-affinity
Numa-aware `execute` for timely dataflow
dotnet-core-sdk-make-perf-docker
Dockerfile for dotnet core with make and perf
timely-viz
Tools to visualise and debug a timely-dataflow program
snailtrail
SnailTrail 2019
rust-docs
Docs for rust projects
infinity-rust
A rust wrapper for Infinity, a lightweight RDMA library for InfiniBand
mergequeue-benchmarker
Simple benchmark for MergeQueues
signalling
A lightweight signal to (un)park a single thread
timely-programs
Programs that run with timely and can be easily benchmarked
blip
A queue of queues