advanced compilers

Enable non-Ubiquiti cameras to work with Unifi NVR

Tracking and collecting papers/projects/others related to Segment Anything.

A curated list of awesome software for Apple's macOS.

Racket code and annotations for The Little Schemer

A fast and lightweight native programming language

Think tmux, then aim... lower

Tensors and neural networks in Haskell

Fearless hardware design

Incompatible Timesharing System

Automated integer hash function discovery

Modern audio compression for the internet.

收录独立开发者出海技术栈和工具

Advanced examples of Linux Device Drivers (LDD3) and detailed manual for running examples in QEMU which is patched with virtual PCI, USB, serial devices. I am actively composing a new book about Dr…

A try to follow the rust port in Linux kernel in driver development.

Pure Rust multimedia format demuxing, tag reading, and audio decoding library

Chez Scheme

CakeML: A Verified Implementation of ML

In Spec We Trust

A course of building an LSM-Tree storage engine (database) in a week.

Open Dylan compiler and IDE

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)

Make your JSON data collaborative and version-controlled with CRDTs

k/simple is a bare minimum k interpreter for learning purposes by arthur whitney

A JavaScript interpreter in Python, built for embedding JavaScript.

A simple, fast, and secure operating system for the cloud.

A self-hosting and educational C optimizing compiler