Popular repositories Loading

1. vim-loves-dafny vim-loves-dafny Public

   a vim plugin for Dafny, a verified programming language.

   Vim Script 20 5

2. dpdk dpdk Public

   mirror of DPDK

   C 1

3. mtcp mtcp Public

   Forked from jingliu9/mtcp

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

   C

4. spdk spdk Public

   Forked from jingliu9/spdk

   Storage Performance Development Kit

   C

5. Hoard Hoard Public

   Forked from emeryberger/Hoard

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

   C++

6. redis redis Public

   Forked from redis/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.

   C 1