Top Repositories
A concurrent, spsc ring-buffer with sized reservations
A rust wrapper for Infinity, a lightweight RDMA library for InfiniBand
Tools to visualise and debug a timely-dataflow program
Numa-aware `execute` for timely dataflow
Small footprint hdr histogram in rust
m68k assembler parser and interpreter
Repositories
76A concurrent, spsc ring-buffer with sized reservations
No description provided.
Numa-aware `execute` for timely dataflow
A rust wrapper for Infinity, a lightweight RDMA library for InfiniBand
Tools to visualise and debug a timely-dataflow program
Small footprint hdr histogram in rust
Experimental kernel with built-in replication.
The principled systems website.
Verified Rust for low-level systems code
Streaming and Incremental Computation Framework
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
A verified high-performance file system
Empowering everyone to build reliable and efficient software.
No description provided.
No description provided.
Temporary vundle mirror for Conque Shell vim plugin
Light-weight option parsing for node.js
Non-blocking, Reactive MongoDB Driver for Scala
[EXPERIMENT] An even tinier fork of the great Scala high-performance, async web framework, inspired by Sinatra.
Dependency Manager for PHP
m68k assembler parser and interpreter
The Z3 Theorem Prover
A benchmarking harness for streaming systems
No description provided.
A tiny, portable testing library for Scala
Dafny is a verification-aware programming language
Yahoo! Cloud Serving Benchmark in C++, a C++ version of YCSB (https://github.com/brianfrankcooper/YCSB/wiki)
Small footprint hdr histogram in c++ (header-only)
umoci and runc wrapper: unpack and run oci containers.
A modular implementation of timely dataflow in Rust