-
Okta
- Seattle, WA
Highlights
- Pro
Stars
Papers from the computer science community to read and discuss.
minica is a small, simple CA intended for use in situations where the CA operator also operates each host where a certificate will be used.
A modern editor with a backend written in Rust.
A cryptographically verifiable code review system for the cargo (Rust) package manager.
A set of C++ classes that provide a common API for realtime audio input/output across Linux (native ALSA, JACK, PulseAudio and OSS), Macintosh OS X (CoreAudio and JACK), and Windows (DirectSound, A…
A tiling window manager based on binary space partitioning
A cargo subcommand that generates Debian packages from information in Cargo.toml
Time Interval Counting for Rust - stats based on start/stop times for events
nact ⇒ node.js + actors ⇒ your services have never been so µ
A library to generating UML language from Rust's project into graphiz/dot file.
TiDB - the open-source, cloud-native, distributed SQL database designed for modern applications.
OpenTracing API for C++. 🛑 This library is DEPRECATED! https://github.com/opentracing/specification/issues/163
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
Control pulseaudio volume from the shell or mapped to keyboard shortcuts. No need for alsa-utils.
AMQP client library in Rust, with a clean, futures based API
because you need another a key/value storage engine
The sysroot manager that lets you build and customize `std`
“Zero setup” cross compilation and “cross testing” of Rust crates
A strongly consistent distributed coordination system, built using proven protocols & implemented in Rust.
An RPC framework for Rust with a focus on ease of use.
My futures/tokio tutorial for Rust Belt Rust (OUT OF DATE)
A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.