A new markup-based typesetting system that is powerful and easy to learn.

社区驱动的非官方 Typst 中文文档。

The expl3 (LaTeX3) Development Repository

Metaprogramming, verified meta-theory and implementation of Coq in Coq

Modeling and Proving in Computational Type Theory

A demo implementation of a simple dependently-typed language

The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

An optimizing compiler in the Chinese Collegiate Student System Capability Challenge (Compiler Track) 2021

2024年春季OS课程Slides\实验指导\思维导图\挑战项目等 https://learningos.github.io/os-lectures/

A proof assistant and a dependently-typed language

Lightning-fast and Powerful Code Editor written in Rust

旋律猜谜游戏，每日更新~・Daily melody puzzle game (available in en/zh)

Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT

egg is a flexible, high-performance e-graph library

《PDF 解析》

C++ standards drafts

Parsing, analyzing, and comparing source code across many languages

Customize your git commit hashes!

💻 C++ Functional Terminal User Interface. ❤️

A dbg(…) macro for C++

a deadly simple repl for cpp with ghci style commands

A beautiful stack trace pretty printer for C++

Intrusive collections for Rust

A Rust compiler front-end for IDEs

Cryptography course slides at Harbin Institute of Technology

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

Slides and other materials from CppCon 2020

🎉 Elegant and powerful theme for Hexo.