Stars
messense / if-addrs
Forked from maidsafe-archive/get_if_addrsRetrieve IP addresses for all interfaces. POSIX & Windows
Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
Rust library for mDNS based Service Discovery
Linux TTY font for Chinese, but treat it as a syllabic writing / 中文 Linux TTY 字体,但是表音文字
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
XGo is the first AI-native programming language that integrates software engineering into a unified whole. Our vision is to enable everyone to become a builder of the world.
Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io
Repo for counting stars and contributing. Press F to pay respect to glorious developers.