Rust library for mDNS based Service Discovery

Cappuchin language compiler and interperter

Advice for learning Rust

A portable self-bootstrapping C compiler

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+.

Playing with the linkd node

Async I/O and timers

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.

libp2p implementation in Kotlin for JVM platforms