MirageOS is a library operating system that constructs unikernels

南京大学学位论文 Typst 模板 modern-nju-thesis

An unofficial Copilot plugin for Emacs.

Theorem Proving in Lean 4

Libtpa(Transport Protocol Acceleration), a DPDK based userspace TCP stack implementation.

Awesome Privacy - A curated list of services and alternatives that respect your privacy because PRIVACY MATTERS.

Show information on the side

Insert trace-points into the running configuration to observe the path of packets through the iptables chains.

Official documentation for getting things done with Nix.

An open-source cross-platform alternative to AirDrop

Formal to Formal Mathematics Benchmark

Python client for Batfish: https://github.com/batfish/batfish

Font renaming script for OpenType tables in CFF (.otf) and OT TrueType (.ttf) fonts

Commit Mono is an anonymous and neutral programming typeface.

Taming the transient while reconfiguring BGP (SIGCOMM'23)

⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

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

nju fla turing project. This piece of Chinese is for easier searching. 南京大学形式语言与自动机课程项目.

DPVS is a high performance Layer-4 load balancer based on DPDK.

Better configuration for less

Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable beh…

trzsz is a simple file transfer tools, similar to lrzsz ( rz / sz ), and compatible with tmux.

The package of IBM’s typeface, IBM Plex.

ZenFonts.jp Maru Gothic

ZenFonts.jp Old Mincho

Turn opam-based OCaml projects into Nix derivations

让你的 GCC 变得更可爱！

Automatic Test generator and Differential Tester for DNS Nameserver implementations

A wlroots-compatible Wayland color picker that does not suck.

A model checker for implementing distributed systems.