A textbook on informal homotopy type theory

A Coq library for Homotopy Type Theory

Development of homotopy type theory in Agda

Local Contextual Type Inference

❄️ All Configurations for My Laptop

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

Mathematical Components

stlc in agda

Learn Lean 4 with PLFA proofs.

《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版

An introduction to programming language theory in Agda

A online playground to explore with type Inference algorithms.

A language with lexical effect handlers and lightweight effect polymorphism

The Flix Programming Language

Typst Lecture Notes for University of Oxford course C2.2 Homological Algebra (Michaelmas, 2023-24)

The Next Generation of Compositional Programming

A simple scala-like dependent type programming language

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

Normalization by evaluation for Martin-Löf Type Theory with dependent records

Flowistry is an IDE plugin for Rust that helps you focus on relevant code.

A tool for building and visualizing polytopes.

Making it easier to work with shaders

轻量级、优化且功能齐全的 Folia 分支，专为生存和无政府状态服务器而设计

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

A utility datapack for doing math operations

Open Source Continuous File Synchronization

User-friendly AI Interface (Supports Ollama, OpenAI API, ...)

Get up and running with OpenAI gpt-oss, DeepSeek-R1, Gemma 3 and other models.