My Emacs config

Microsoft Low and Slow Attacks

Staged compilation with dependent types

Delta encoding algorithm for fine-grained deduplicaition

Zombie chan revive!

A game where you are a computer's OS and you have to manage processes, memory and I/O events.

The Scala 3 compiler, also known as Dotty.

🏆 A ranked list of awesome Scala projects. Updated weekly.

ntype cafe summer school resources

An Emacs framework for the stubborn martian hacker

A free book: "The Science of Functional Programming"

A proof assistant and a dependently-typed language

HoTTEST Summer School materials

Demo for high-performance type theory elaboration

ZIO — A type-safe, composable library for async and concurrent programming in Scala

Programming Language Theory λΠ

langcc: A Next-Generation Compiler Compiler

Cicada Language (PLCT little team)

Chez Scheme

The pure asynchronous runtime for Scala

GTNH整合包的汉化

The Dao of Functional Programming

A big progressive questing modpack for Minecraft 1.7.10 balanced around the mod GregTech.

Inpla: Interaction nets as a programming language (the current version)

A modern Prolog implementation written mostly in Rust.

Skill estimation systems for multiplayer competitions

A Rust compiler front-end for IDEs