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