Exquisite SDDM greeter for Linux (infinitely customizable + safe atomic install/uninstall)

Nix flake and overlay for ESP8266 and ESP32 development.

Semantic version control => entity-level diffs, blame, and impact analysis on top of git. 28 languages via tree-sitter. Built for coding agents.

🪐 Markdown with superpowers: from ideas to papers, presentations, websites, books, and knowledge bases.

A sleek, customizable desktop shell crafted for Wayland.

Maple Mono: Open source monospace font with round corner, ligatures and Nerd-Font icons for IDE and terminal, fine-grained customization options. 带连字和控制台图标的圆角等宽字体，中英文宽度完美2:1，细粒度的自定义选项

Full Source Code for Making a Language series

A menagerie of cute implementations of modern typechecking algorithms

⚗️ | Soma is a general-purpose dependently-typed functional programming language powered by Interaction Nets with a minimal runtime.

Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.

Duo - A research language exploring duality in programming language design

An open-source, ultra-low-latency remote desktop for Linux hosts and Windows clients

An attempt at safe imperative GPU programming.

# A simple variable binding library based on well-scoped indices and environments

A language with lexical effect handlers and lightweight effect polymorphism

💫 effects, but optimal

Rhyme is an Expressive Data-Centric Query Language

MONadic ARCHitecture for Static Analyses Frameworks through Abstract Interpretation

🔹Automatically populate the entities-list of lovelace cards

A heap memory profiler for Linux

A theory‑backed, type‑safe algebraic effects

An example on how to write an incremental, concurrent, fault-tolerant compiler

🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend.

Dependent type checker using normalisation by evaluation

Typst template suite for papers, presentation slides, exams, and more!

My compiler for PLI

Elex, a proof-of-concept property-based testing library written in Effekt

Easily create beautiful preprints in Typst

Artifact for the Functional Pearl "Grokking the Sequent Calculus"

Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.