A template for writing CS papers with latex -- includes CI, todonotes, ...

Static Type Checker for Python

Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

Plain files for syscalls, errnos, signals, registers and x86_64 instructions

OpenGFW is a flexible, easy-to-use, open source implementation of GFW (Great Firewall of China) on Linux

🔀 Cross-platform Golang implementation of TapDance censorship circumvention system client

TapDance station code

A simple, fast and user-friendly alternative to 'find'

Code for my talks on the No Boilerplate channel

An easy to use library for pretty print tables of Rust structs and enums.

Create book from markdown files. Like Gitbook but implemented in Rust

Lab exercises for Chisel in the digital electronics 2 course at DTU

Digital Design with Chisel

🦀 Small exercises to get you used to reading and writing Rust code!

perfect programming language

A reduced Java implementation of a lisp interpreter

A modern, highly customizable, responsive Jekyll template for course websites.

Rust bindings for the Python interpreter

Awesome Typst Links

JFugue mirror (http:https://www.jfugue.org/)

Minicraft+, an extension of Notch's original minicraft project, with tons more features.

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

The entrance repository of Markdown presentation ecosystem

Homepage for Harvey Mudd's Memory Safety course

Backend master class: build a simple bank service in Go

Examples of autograders for running on Gradescope

⭐ Vim for Visual Studio Code

surround.vim: Delete/change/add parentheses/quotes/XML-tags/much more with ease

✅ Solutions to LeetCode by Go, 100% test coverage, runtime beats 100% / LeetCode 题解