Stars
- All languages
- Agda
- Assembly
- Bluespec
- C
- C#
- C++
- CSS
- CUE
- Clojure
- Common Lisp
- Coq
- D
- Dockerfile
- Elixir
- Erlang
- F*
- Gnuplot
- Go
- HCL
- HTML
- Hack
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Lean
- Lua
- Makefile
- Nix
- OCaml
- Objective-C
- P4
- PHP
- Perl
- PostScript
- PowerShell
- Python
- R
- Racket
- Reason
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- Scilab
- Shell
- Smalltalk
- SystemVerilog
- TLA
- Tcl
- TeX
- TypeScript
- VHDL
- Verilog
- Xtend
- YARA
- Zeek
A high-performance, zero-overhead, extensible Python compiler with built-in NumPy support
Table-Driven Interface (TDI) for a P4-programmable backend device.
eQUIC - QUIC connection quota control on Linux kernel through eBPF
Public repository for PicoEVB (Xilinx Artix XC7A50T based)
Public repository for Litefury & Nitefury
FireSim: Fast and Effortless FPGA-accelerated Hardware Simulation with On-Prem and Cloud Flexibility
(mirror) A vector graphics renderer like NanoVG in OCaml
Hysteria is a powerful, lightning fast and censorship resistant proxy.
kawipiko -- blazingly fast static HTTP server -- focused on low latency and high concurrency, by leveraging Go, `fasthttp` and the CDB embedded database
A fork of password-store (https://www.passwordstore.org) that uses age (https://age-encryption.org) as backend.
Example of using CUE to model baremetal network configurations
XDP cpumap redirect combined with TC bandwidth shaping
Bracket QOS - a Quality of Service/Experience server system writtin in Rust. Derived from the excellent LibreQOS Project.
🦔 Fast, lightweight & schema-less search backend. An alternative to Elasticsearch that runs on a few MBs of RAM.
FANcY: FAst In-Network GraY Failure Detection for ISPs
Barefoot Networks Release Packages for SONIC