Justine Stephenson (mlr-msft)

mlr-msft

Geek Repo

Company:Microsoft

Location:Redmond, WA

Home Page:https://www.microsoft.com/en-us/research/people/mirobert/

Github PK Tool:Github PK Tool

Justine Stephenson's repositories

vim-loves-dafny

a vim plugin for Dafny, a verified programming language.

Language:Vim ScriptLicense:MS-PLStargazers:19Issues:2Issues:3

dpdk

mirror of DPDK

Language:CStargazers:1Issues:1Issues:0

Hoard

The Hoard Memory Allocator: A Fast, Scalable, and Memory-efficient Malloc for Linux, Windows, and Mac.

Language:C++License:GPL-2.0Stargazers:0Issues:2Issues:0
Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

mtcp

mTCP: A Highly Scalable User-level TCP Stack for Multicore Systems

Language:CLicense:NOASSERTIONStargazers:0Issues:2Issues:0

NetworkDirect

NetworkDirect Service Provider Interface

Language:C++License:MITStargazers:0Issues:1Issues:0

PcapPlusPlus

PcapPlusPlus is a multiplatform C++ library for capturing, parsing and crafting of network packets. It is designed to be efficient, powerful and easy to use. It provides C++ wrappers for the most popular packet processing engines such as libpcap, WinPcap, DPDK and PF_RING.

Language:C++License:UnlicenseStargazers:0Issues:1Issues:0

ramalloc

a parallelized, amortized-constant time allocator for objects smaller than a hardware page.

Language:CLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

redis

Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, HyperLogLogs, Bitmaps.

Language:CLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

rust-bitfield

This crate provides macros to generate bitfield-like struct.

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

spdk

Storage Performance Development Kit

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0