Litex is a simple formal language Learnable in 2 hours.

test repo for fp-lean-zh

Mogan STEM Suite (based on GNU TeXmacs): Enjoy exploring science and technology!

Hydro - Next generation high performance online-judge platform - 新一代高效强大的信息学在线测评系统 (a.k.a. vj5)

SBLP 2025 MLIR Tutorial

Like IntelliSense, but for shells

Command-running macro for Rust

Next generation OIerDb.

Tur - A language for defining and executing Turing machines, complete with parser, interpreter, and multi-platform visualization tools.

Git commit message formatter

🎮 A simple 2D game framework written in Rust

Competitive Programming Library

Cpp lifetime safety profile static analyzer

A small and lightweight Rust library to obtain the active locale on the system.

An persistent relational database built in Go.

Simple internal event bus for Go applications

An experimental proof assistant based on a type theory for synthetic ∞-categories.

Python's Simplicity, C++'s Power, Native Interoperable with all, and Rust (W.I.P)

📄 Create PDF files using React

Offline, privacy-first grammar checker. Fast, open-source, Rust-powered

Tiny theorem prover with syntax like Lean 4 in <1K LOC

The matrix cookbook, proved in the Lean theorem prover

OCaml - Oxidized!

An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WASM sandboxing.

Go errors but structured and composable. Fault provides an extensible yet ergonomic mechanism for wrapping errors.

Feather🪶: A Rust web framework that does not use async

A popular science book about mathematics

🐚bash/POSIX-compatible shell implemented in Rust 🦀