Counterexamples in Type Systems

A new (MLIR based) high-level IR for clang.

Rust persistent data structures

The book "Performance Analysis and Tuning on Modern CPU"

An open-source Chinese font derived from Tanugo

A well-documented minimal dependently-typed language for my friend Lyzh

RowScript programming language, making a better browser world

Refinement types for Scala

The OWASP Cheat Sheet Series was created to provide a concise collection of high value information on specific application security topics.

Typst blog template based on Zola, typst.ts, and apollo.

An experimental stackless Lua VM implemented in pure Rust

A lightweight WebAssembly runtime that is fast, secure, and standards-compliant

Environment control for benchmarks

适配轻小说/Galgame的日中翻译大模型

Typst package for drawing diagrams with arrows, built on top of CeTZ.

My blog base on Astro

Concurrency permutation testing tool for Rust.

Play tetris in typst

Refinement Types for Rust

The C++ Standard Library for Parallelism and Concurrency

Lean theorem proving interface which feels like pen-and-paper proofs.

😸 Soothing pastel theme for the high-spirited!

Performance instrumentation and tracing for Android, Linux and Chrome (read-only mirror of https://android.googlesource.com/platform/external/perfetto/)

[DEPRECATED] Use tinymist instead

Extended numbering patterns using the CSS Counter Styles specification

rust stackful coroutine library

An interpreter for Rust's mid-level intermediate representation

Apache Arrow is the universal columnar format and multi-language toolbox for fast data interchange and in-memory analytics

Minimalist ML framework for Rust

A simple to use Go (golang) package to generate or parse Twitter snowflake IDs