tnxbutno

tnxbutno's Stars

• Gordon01/rust-interview

  23

• anishathalye/porcupine

  A fast linearizability checker written in Go 🔎

  Language:Go96053

• reitzensteinm/temper

  Deterministic simulation of concurrency and failure in distributed systems

  Language:Rust29

• zamazan4ik/awesome-pgo

  Various materials about Profile Guided Optimization and other similar stuff like AutoFDO, Bolt, etc.

  2929

• superfly/corrosion

  Gossip-based service discovery (and more) for large distributed systems.

  Language:Rust73422

• pemistahl/lingua-rs

  The most accurate natural language detection library for Rust, suitable for short text and mixed-language text

  Language:Rust89941

• alex/what-happens-when

  An attempt to answer the age old interview question "What happens when you type google.com into your browser and press enter?"

  40.2k5.5k

• fadeevab/design-patterns-rust

  Rust examples for all 23 classic GoF design patterns, and even a little more

  Language:Rust97670

• piotte13/SIMD-Visualiser

  A tool to graphically visualize SIMD code

  Language:JavaScript66642

• microsoft/SQL-ProcBench

  SQL-ProcBench is an open benchmark for procedural workloads in RDBMSs.

  Language:TSQL439

• vitorenesduarte/fantoch

  framework for evaluating (planet-scale) consensus protocols

  Language:Rust12612

• komora-io/concurrent-map

  lock-free B+ tree

  Language:Rust27912

• rust-crdt/rust-crdt

  a collection of well-tested, serializable CRDTs for Rust

  Language:Rust1.4k59

• ept/hermitage

  What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolation levels.

  2.5k182

• jepsen-io/elle

  Black-box transactional safety checker based on cycle detection

  Language:Isabelle64434

• ept/ddia-references

  Literature references for “Designing Data-Intensive Applications”

  6k787

• papers-we-love/papers-we-love

  Papers from the computer science community to read and discuss.

  Language:Shell88.4k5.8k

• timescale/tsbs

  Time Series Benchmark Suite, a tool for comparing and evaluating databases for time series data

  Language:Go1.3k304

• wolfpld/tracy

  Frame profiler

  Language:C++10.2k692

• DataDog/glommio

  Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier for rustaceans.

  Language:Rust3.1k164

• y-crdt/y-crdt

  Rust port of Yjs

  Language:Rust1.5k87

• orium/rpds

  Rust persistent data structures

  Language:Rust1.3k58

• fereidani/kanal

  The fast sync and async channel that Rust deserves

  Language:Rust1.4k34

• tokio-rs/loom

  Concurrency permutation testing tool for Rust.

  Language:Rust2.2k112

• loiclec/fuzzcheck-rs

  Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions

  Language:Rust43713

• stateright/stateright

  A model checker for implementing distributed systems.

  Language:Rust1.6k57

• shadow/shadow

  Shadow is a discrete-event network simulator that directly executes real application code, enabling you to simulate distributed systems with thousands of network-connected processes in realistic and scalable private network experiments using your laptop, desktop, or server running Linux.

  Language:Rust1.5k242

• RoaringBitmap/roaring-rs

  A better compressed bitset in Rust

  Language:Rust76584

• orlp/glidesort

  A Rust implementation of Glidesort, my stable adaptive quicksort/mergesort hybrid sorting algorithm.

  Language:Rust1.6k24

• ipfs/notes

  IPFS Collaborative Notebook for Research

  40130