soro's Stars
alacritty/alacritty
A cross-platform, OpenGL terminal emulator.
cyrus-and/gdb-dashboard
Modular visual interface for GDB in Python
microsoft/ethr
Ethr is a Comprehensive Network Measurement Tool for TCP, UDP & ICMP.
microsoft/bond
Bond is a cross-platform framework for working with schematized data. It supports cross-language de/serialization and powerful generic mechanisms for efficiently manipulating data. Bond is broadly used at Microsoft in high scale services.
elfshaker/elfshaker
elfshaker stores binary objects efficiently
ixy-languages/ixy-languages
A high-speed network driver written in C, Rust, C++, Go, C#, Java, OCaml, Haskell, Swift, Javascript, and Python
rsocket/rsocket
RSocket Protocol Definition
microsoft/BlingFire
A lightning fast Finite State machine and REgular expression manipulation library.
microsoft/snmalloc
Message passing based allocator
max0x7ba/atomic_queue
C++ lockless queue.
microsoft/Trill
Trill is a single-node query processor for temporal or streaming data.
facebookexperimental/MIRAI
Rust mid-level IR Abstract Interpreter
microsoft/avml
AVML - Acquire Volatile Memory for Linux
microsoft/llvm-mctoll
llvm-mctoll
microsoft/chart-parts
A flexible, React-friendly, Grammar of Graphics for data visualization
microsoft/gather
Spit shine for Jupyter notebooks 🧽✨
mpoeter/xenium
A C++ library providing various concurrent data structures and reclamation schemes.
microsoft/lain
A fuzzer framework built in Rust
rmind/ringbuf
Lock-free ring buffer (MPSC)
microsoft/L4
L4 (Lock-Free on Read) Hashtable is a C++ library that implements hash table with arbitray byte stream keys/values.
TooBiased/growt
This is a header only library offering a variety of dynamically growing concurrent hash tables. That all work by dynamically migrating the current table once it gets too full.
UnitedTraders/aeron-rs
Rust aeron port
microsoft/lagscope
A Linux tool to measure the network transport layer latency.
kaist-cp/smr-benchmark
SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes
microsoft/AliveInLean
Formally verified implementation of Alive in Lean
microsoft/SyncTasks
An explicitly non-A+ Promise library that resolves promises synchronously
microsoft/BLAS-on-flash
Linear algebra subroutines for large SSD-resident dense and sparse matrices
ticki/mu
Advanced Unix-style Spaced Repetition System
artagnon/vsfstar
🦅 VSCode extension for F* with IDE features
microsoft/Adaptable
A tightly optimized representation of ordered, long-living, often-modified, predicate-filtered lists random-accessible by value and index. (Java)