A simple Lisp Interpreter, using Parser Combinator, written in Scala

A Dependent Typed Language With Dependent Pattern Match.

Reuse Analysis in MLIR and Rust. Functional programming meets performance.

Dynamic DNS records updater implemented via Cloudflare API.

High-performance website constructor.

git commit --fixup, but automatic

Reuse Analysis, Review and Rethinking

A type theory for tiny objects

Personal reading notes (zh-CN)

Also check out lamett!