Justine Stephenson's repositories
vim-loves-dafny
a vim plugin for Dafny, a verified programming language.
NetworkDirect
NetworkDirect Service Provider Interface
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.
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:CBSD-3-Clause000
rust-bitfield
This crate provides macros to generate bitfield-like struct.