Pretty, minimal and fast ZSH prompt

Elegant iTerm2 theme with bright colors

⚡️ Control plane management agent for FD.io's VPP

Go toolset for the VPP.

💻 Democratizing Snippet Management (macOS/Win/Linux)

Mininet fork adding support for container-based (e.g. Docker) emulated hosts.

Mirror of VPP code base hosted at git.fd.io

Agus Neovim configuration Files.

A tool for network enumeration and domination.

Linux shell for iOS

TensorFlow code for the neural network presented in the paper: "Structural Language Models of Code" (ICML'2020)

TensorFlow code for the neural network presented in the paper: "code2vec: Learning Distributed Representations of Code"

A collection of hopefully useful scripts.

Download files, folders, and release assets from a specific git commit, branch, or tag of public and private GitHub repos.

eBPF implementation that runs on top of Windows

Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.

Tools for SiFive's Freedom Platform

A C-like hardware description language (HDL) adding high level synthesis(HLS)-like automatic pipelining as a language construct/compiler feature.

VHDL and Verilog/SV IDE: state machine viewer, linter, documentation, snippets... and more!

GNU toolchain for RISC-V, including GCC

Linux user space library for network socket acceleration based on RDMA compatible network adaptors

Protocol Buffers implementation in C

Go support for Google's protocol buffers

Userspace eBPF VM

Bluespec Compiler (BSC)

Verilator open-source SystemVerilog simulator and lint system

Scala based HDL

A FPGA friendly 32 bit RISC-V CPU implementation

Verible is a suite of SystemVerilog developer tools, including a parser, style-linter, formatter and language server