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

Type-safe and efficient choreographies for Haskell, with multiply-located values, multi-cast, and location-set polymorphism.

Mechanizations of Type Theories

Web browser engineering (a book)

Causal separation diagrams

Official upstream development repository for Cabal and cabal-install

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

An example of a fully custom Emacs configuration developed live on YouTube!

A collaborative bibliography of work related to the theory and practice of computational effects

A friendly programming language from the future

Emacs mac port formulae for the Homebrew package manager

🎶 Choreographic programming in Rust 🎶

Free monospaced font with programming ligatures

A bibliography of choreographic languages

System font stack CSS organized by typeface classification for every modern operating system

Simple Directmedia Layer

Agda bindings to SMT-LIB2 compatible solvers.

The Agda standard library

An introduction to programming language theory in Agda

Agda is a dependently typed programming language / interactive theorem prover.

LaTeX template for bachelor thesis of Hangzhou Dianzi University 杭州电子科技大学本科毕业设计的 LaTeX 模板