An opensource OpenWrt variant for mainland China users.
Lokinet is an anonymous, decentralized and IP based overlay network for the internet.
A fast and lightweight fully featured OCI runtime and C library for running containers
A statically-typed, functional typesetting system
Erlang plugin for asdf version manager
nghttp2 - HTTP/2 C Library and tools
K Semantics of the Ethereum Virtual Machine (EVM)
This is the upstream repository for the Security Enhanced Linux (SELinux) userland libraries and tools. The software provided by this project complements the SELinux features integrated into the Linux kernel and is used by Linux distributions. All bugs and patches should be submitted to selinux@vger.kernel.org
Linux port of FAR v2