-
-
-
-
-
lincheck Public
Forked from SmnTin/lincheckA linearizability checker for concurrent data structures
Rust MIT License UpdatedApr 29, 2025 -
-
-
memento Public
Forked from kaist-cp/mementoMemento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)
Rust Creative Commons Attribution 4.0 International UpdatedApr 8, 2025 -
lightning Public
Forked from danyangz/lightningLightning In-Memory Object Store
C++ MIT License UpdatedMar 31, 2025 -
sosp-paper19-ae Public
Forked from madsys-dev/sosp-paper19-aeThe Artifact Evaluation Version of SOSP Paper #19
C++ UpdatedMar 24, 2025 -
-
tock Public
Digital clock for the terminal
-
advent-of-code Public
Work in progress solutions for Advent of Code
-
-
-
tpcc-runner Public
Forked from rotaki/tpcc-runnerAn implementation of various in-memory concurrency control protocols
C++ MIT License UpdatedOct 16, 2024 -
mimalloc-bench Public
Forked from daanx/mimalloc-benchSuite for benchmarking malloc implementations.
C MIT License UpdatedOct 12, 2024 -
silo Public
Forked from photoszzt/siloMulticore in-memory storage engine
C++ MIT License UpdatedOct 12, 2024 -
openconnect-sso Public
Forked from ThinkChaos/openconnect-ssoWrapper script for OpenConnect supporting Azure AD (SAMLv2) authentication to Cisco SSL-VPNs
Python GNU General Public License v3.0 UpdatedOct 2, 2024 -
mc-suite Public
Discord bot that synchronizes messages with a Minecraft server
-
-
-
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
Rust Other UpdatedMay 9, 2024 -
nil Public
Forked from oxalica/nilNIx Language server, an incremental analysis assistant for writing in Nix.
Rust Apache License 2.0 UpdatedMar 1, 2024 -
masstree-beta Public
Forked from kohler/masstree-betaBeta release of Masstree.
C++ Other UpdatedOct 15, 2023 -
sailfish Public
Forked from rust-sailfish/sailfishSimple, small, and extremely fast template engine for Rust
Rust MIT License UpdatedOct 2, 2023 -
shuttle Public
Forked from awslabs/shuttleShuttle is a library for testing concurrent Rust code
Rust Apache License 2.0 UpdatedAug 23, 2023 -
rsmpi Public
Forked from rsmpi/rsmpiMPI bindings for Rust
Rust Apache License 2.0 UpdatedAug 14, 2023 -
-
tmux-copy Public
Another hint-based copying plugin for tmux
{{ message }}