A modern high-performance open source message queuing system

FFmpeg Assembly Language Lessons

Code for "Lessons Learned from Building a Query Optimizer" blog series

Source code for the book Building a Debugger

Use your Neovim like using Cursor AI IDE!

🚀 A fast WebAssembly interpreter and the most universal WASM runtime

A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.

TornadoVM: A practical and efficient heterogeneous programming framework for managed languages

✨ Programming Language Research, Applied PLT & Compilers

CasaOS - A simple, easy-to-use, elegant open-source Personal Cloud system.

A usage of the WiredTiger library that splits BSON documents and stores them fully indexed.

Pure Rust implementation of SQLite

Wasm platform for nvim.

MLIR For Beginners tutorial

Unlock the full potential of your Intel/AMD based handheld.

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

[Deprecated] An early language server for Typst, plus a VS Code extension

Database system for AI-powered apps

Code samples for Lean 4

JARVIS, a system to connect LLMs with ML community. Paper: https://arxiv.org/pdf/2303.17580.pdf

A post-modern modal text editor.

Fun, portable, minimalistic virtual machine.

Open-source, self-hosted note-taking tool built for quick capture. Markdown-native, lightweight, and fully yours.

Demo for high-performance type theory elaboration

A highly configurable cross-platform (Windows) status bar written in Python.

A tiling window manager for Windows 🍉

My hyprland setup on Arco Linux

🚀 Fast, secure, lightweight containers based on WebAssembly

Treesitter based structural search and replace plugin for Neovim.