Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

The user-friendly command line shell.

Out-of-the-box, customizable and multilingual theorem environment package for Typst.

Advanced data visualization with Typst.

A monospaced Japanese font containing ligatures.

Yet another Arch Linux news reader

Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness,…

Handle todos in your Typst document

Write expressive, high-performance parsers with ease.

Command line parser with applicative interface

A Rust-embeddable Lisp, with support for interop with native Rust functions

a calculator REPL, similar to bc(1)

A clean and elegant blog theme for Zola. Linkita is based on Kita and Hugo-Paper and is multilingual and SEO friendly.

Touying is a powerful package for creating presentation slides in Typst.

Empowering everyone to build reliable and efficient software.

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

🌱 A Hugo theme named Dream.