C++ preprocessor

A C compiler written in Zig.

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

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

The rustic MLIR bindings in Rust

Deep Learning earthquake early warning system

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

A self-hosting and educational C optimizing compiler

Smoothly animated code blocks with Shiki

Generate Java Virtual Machine .class files from Rust.

Vim-fork focused on extensibility and usability

Compiler for an x86 Assembly language abstracting over NASM

Run compilers interactively from your web browser and interact with the assembly

GCCコンパイラーを可愛くしましょう！Make your GCC compiler kawaii.

The Eta Programming Language, a dialect of Haskell on the JVM

The FORM project for symbolic manipulation of very big expressions

A fast, friendly, functional language.

A linting tool for Chinese language.

Explain complex systems using visuals and simple terms. Help you prepare for system design interviews.

免費開源的 11×11 中文點陣體

Java bytecode engineering toolkit

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

V compiler... but tinier

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

Runtime code generation for the Java virtual machine.

Graphic notes on Gilbert Strang's "Linear Algebra for Everyone"

A tiny JVM written in Rust. Learning project

Fullstack app framework for web, desktop, mobile, and more.

How to make a new language(and why we shouldn't?)