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/shipc
umoci and runc wrapper: unpack and run oci containers.
utaal/christmas
utaal/tschunk
Language-embedded serialization for rust
utaal/abomonation
A mortifying serialization library for Rust
utaal/blip
A queue of queues
utaal/cargo-test
utaal/dataflow-join
An implementation of Ngo et al's GenericJoin in timely dataflow.
utaal/docker-chrome-xvfb-node
Docker with chrome and latest node for in-browser testing
utaal/homebrew-cask
A CLI workflow for the administration of Mac applications distributed as binaries
utaal/homebrew-tap
utaal/http4s
A minimal, idiomatic Scala interface for HTTP
utaal/infinity
A lightweight C++ RDMA library for InfiniBand networks.
utaal/jupyterhub
JupyterHub docker image for the compmodels class
utaal/kantan.csv
CSV handling library for Scala
utaal/latex-pandoc-docker
utaal/nozzle
utaal/num
A collection of numeric types and traits for Rust.
utaal/pagerank
Implementation of PageRank in timely dataflow
utaal/papers-we-love
Papers from the computer science community to read and discuss.
utaal/papers-we-love.github.io
Official Papers We Love site
utaal/rapture-core
Rapture Core
utaal/rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code
utaal/scalameta
Simple, robust and portable metaprogramming toolkit for Scala
utaal/scalaspace.github.io
Scala Space website
utaal/scalaworld
Scala World website
utaal/shiftregisters-py
Minimal shift register library (for the RPi, mostly)
utaal/sled
(alpha) modern embedded database
utaal/tcomb
Type checking for JavaScript
utaal/utest
A tiny, portable testing library for Scala
utaal/zurich
Papers We ❤️ Zurich