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

Work on MIT course 6.828: Operating System Engineering

Cloudflare Tunnel client (formerly Argo Tunnel)

magic-trace collects and displays high-resolution traces of what a process is doing

程序员在家做饭方法指南。Programmer's guide about how to cook at home (Simplified Chinese only).

CS 704 course website - Principles of Programming Languages

This plugin displays your tex source in a textarea so plugins like grammarly can check it.

System Fω interpreter for use in Advanced Functional Programming course

The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)

Example row-polymorphism implementations

an SML language server that uses SML/NJ's "visible compiler" feature

Master programming by recreating your favorite technologies from scratch.

A collection of resources on modern C++

Classic materials collection on theoretical computer science, or computer systems research, working in progress

镜像：https://scaffrey.coding.net/p/hosts/git / https://git.qvq.network/googlehosts/hosts

Come and join us, we need you!

VE280 Project3 in Haskell

A terminal emulator for the 21st century.

The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

www.eudyptula-challenge.org

To recognize the captcha in SJTU Jaccount login page.

An unofficial object-oriented Python library for accessing the Steam Web API.

📚 Freely available programming books

Open Source real-time strategy game engine for early Westwood games such as Command & Conquer: Red Alert written in C# using SDL and OpenGL. Runs on Windows, Linux, *BSD and Mac OS X.

Remarkable - The Markdown Editor for Linux http://remarkableapp.github.io

Simple shell implementation. Tutorial here ->

GoogleTest - Google Testing and Mocking Framework

Excalibur