Soeren Roerden (soro)

soro

Geek Repo

Location:New York

Github PK Tool:Github PK Tool

Soeren Roerden's starred repositories

alacritty

A cross-platform, OpenGL terminal emulator.

Language:RustLicense:Apache-2.0Stargazers:54603Issues:449Issues:5698

gdb-dashboard

Modular visual interface for GDB in Python

Language:PythonLicense:MITStargazers:10799Issues:220Issues:252

ethr

Ethr is a Comprehensive Network Measurement Tool for TCP, UDP & ICMP.

highway

Performance-portable, length-agnostic SIMD with runtime dispatch

Language:C++License:Apache-2.0Stargazers:3973Issues:45Issues:370

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 stores binary objects efficiently

Language:RustLicense:Apache-2.0Stargazers:2297Issues:22Issues:61

ixy-languages

A high-speed network driver written in C, Rust, C++, Go, C#, Java, OCaml, Haskell, Swift, Javascript, and Python

Language:TeXLicense:BSD-2-ClauseStargazers:2120Issues:58Issues:11

rsocket

RSocket Protocol Definition

atomic_queue

C++ lockless queue.

Language:C++License:MITStargazers:1418Issues:42Issues:45

MIRAI

Rust mid-level IR Abstract Interpreter

Language:RustLicense:MITStargazers:986Issues:22Issues:128

eve

Expressive Vector Engine - SIMD in C++ Goes Brrrr

Language:C++License:BSL-1.0Stargazers:888Issues:30Issues:520

avml

AVML - Acquire Volatile Memory for Linux

Language:RustLicense:MITStargazers:832Issues:32Issues:23

Spartan

Spartan: High-speed zkSNARKs without trusted setup

Language:RustLicense:MITStargazers:646Issues:17Issues:36

chart-parts

A flexible, React-friendly, Grammar of Graphics for data visualization

Language:TypeScriptLicense:MITStargazers:606Issues:20Issues:790

xenium

A C++ library providing various concurrent data structures and reclamation schemes.

Language:C++License:MITStargazers:472Issues:27Issues:25

ringbuf

Lock-free ring buffer (MPSC)

Language:CLicense:BSD-2-ClauseStargazers:436Issues:23Issues:6

stackfuture

A wrapper around Rust futures that stores the future in space provided by the caller.

Language:RustLicense:NOASSERTIONStargazers:295Issues:9Issues:5

L4

L4 (Lock-Free on Read) Hashtable is a C++ library that implements hash table with arbitray byte stream keys/values.

Language:C++License:NOASSERTIONStargazers:194Issues:15Issues:5

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.

Language:C++License:NOASSERTIONStargazers:105Issues:5Issues:9

aeron-rs

Rust aeron port

Language:RustLicense:Apache-2.0Stargazers:97Issues:12Issues:9

kumi

C++20 Compact Tuple Tools

Language:C++License:BSL-1.0Stargazers:43Issues:5Issues:26

Trieste

A term rewriting system for experimental programming language development.

Language:C++License:MITStargazers:37Issues:12Issues:7

smr-benchmark

SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes

Language:RustLicense:MITStargazers:34Issues:8Issues:37

AliveInLean

Formally verified implementation of Alive in Lean

Language:LeanLicense:NOASSERTIONStargazers:32Issues:6Issues:2

SyncTasks

An explicitly non-A+ Promise library that resolves promises synchronously

Language:TypeScriptLicense:MITStargazers:32Issues:0Issues:0

mu

Advanced Unix-style Spaced Repetition System

Language:RustLicense:MITStargazers:28Issues:2Issues:3

BLAS-on-flash

Linear algebra subroutines for large SSD-resident dense and sparse matrices

Language:C++License:MITStargazers:26Issues:8Issues:1

MacTok

MacTok is a research prototype for a one-time anonymous token scheme based on algebraic MACs.

Language:RustLicense:MITStargazers:22Issues:6Issues:0

vsfstar

🦅 VSCode extension for F* with IDE features

Language:TypeScriptLicense:MITStargazers:15Issues:2Issues:0

Adaptable

A tightly optimized representation of ordered, long-living, often-modified, predicate-filtered lists random-accessible by value and index. (Java)

Language:JavaLicense:NOASSERTIONStargazers:8Issues:0Issues:0