Skip to content
View drkp's full-sized avatar

Block or report drkp

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

A tracker for misogyny issues in tech

132 1 Updated Jul 26, 2024

TLA+ specifications related to Viewstamped Replication

TLA 31 Updated Jan 22, 2023

Patched Redis for Demikernel

C 3 2 Updated Apr 8, 2024

Kernel-Bypass LibOS Architecture

Rust 1,080 125 Updated Jan 18, 2025

An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.

105 Updated Jul 22, 2024

Switch ML Application

C++ 177 49 Updated Jul 15, 2022
Python 18 1 Updated Oct 16, 2020

Fast persistent recoverable log and key-value store + cache, in C# and C++.

C# 6,362 571 Updated Nov 1, 2024

Eris distributed transactions

C++ 52 6 Updated Apr 9, 2018

Microsoft Azure Traces

Jupyter Notebook 868 147 Updated Dec 12, 2024

NOPaxos consensus protocol

C++ 134 17 Updated Nov 17, 2020

The MacPorts command-line client

Tcl 880 252 Updated Jan 10, 2025

A 21st century LaTeX wrapper

Python 624 64 Updated Apr 28, 2024

The MacPorts ports tree

Tcl 1,571 1,326 Updated Jan 20, 2025

TAPIR distributed transactional storage system

Java 423 54 Updated Oct 13, 2020

Objective-C framework for fuse4x

Objective-C 1 Updated Aug 29, 2011

Filesystem in Userspace

C 1 Updated Aug 29, 2011

Kernel extension for fuse

C 1 Updated Aug 29, 2011

Objective-C framework for fuse4x

Objective-C 15 8 Updated Aug 29, 2012

Kernel extension for fuse

C 22 7 Updated Aug 29, 2012

Filesystem in Userspace

C 86 40 Updated Aug 29, 2012