Andrew Banchich's starred repositories
differential-dataflow
An implementation of differential dataflow using timely dataflow on Rust.
hermit
Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable behavior. This can be used for various applications, including replay-debugging, reproducible artifacts, chaos mode concurrency testing and bug analysis.
minitrace-rust
Extremely fast tracing library for Rust
coq-of-rust
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦
nativelink
Bazel RBE with CAS server implementation in Rust. The free cache and remote execution service, prioritizing stability and speed for the people that need it.
add-node-modules-path
Adds the node_modules/.bin directory to the buffer exec_path. E.g. support project local eslint installations.
rebels-in-the-sky
P2P terminal game about spacepirates playing basketball across the galaxy
serde-diff
Utility for comparing two structs and re-applying the differences to other structs
cosmic-tasks
A simple task management application for the COSMIC desktop.
emacs-kanagawa-theme
Elegant Emacs theme inspired by the colors of the famous painting by Katsushika Hokusai
sideline-blame
Show blame messages with sideline
lemmy-wikibot-rs
A lemmy bot written in Rust to send summaries of wikipedia articles mentioned in user comments