⚡ Fast, async, stream-based link checker written in Rust. Finds broken URLs and mail addresses inside Markdown, HTML, reStructuredText, websites and more!

MLIR For Beginners tutorial

一个用于在 macOS 上平滑你的鼠标滚动效果或单独设置滚动方向的小工具, 让你的滚轮爽如触控板 | A lightweight tool used to smooth scrolling and set scroll direction independently for your mouse on macOS

 Now we have become very big, Different from the original idea. Collect premium software in various categories.

🚀 Awesome list of open source applications for macOS. https://t.me/s/opensourcemacosapps

This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

Unlock your displays on your Mac! Flexible HiDPI scaling, XDR/HDR extra brightness, virtual screens, DDC control, extra dimming, PIP/streaming, EDID override and lots more!

Experience macOS just like before

Kani Rust Verifier

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

Interactive roadmaps, guides and other educational content to help developers grow in their careers.

📚 Freely available programming books

The collected works of F. W. Lawvere

Modeling and Proving in Computational Type Theory

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

Linux virtual machines, with a focus on running containers

Upgrade your pip packages with one line. A fast, reliable and easy tool for upgrading all of your packages while not breaking any dependencies

A personal experimental C++ Syntax 2 -> Syntax 1 compiler

Compiling Agda code to readable Haskell

A survey by the SEASON lab on symbolic execution tools and techniques. The survey has appeared in ACM CSUR in 2018.

Tools for interacting with Boogie

🔒 Consolidating and extending hosts files from several well-curated sources. Optionally pick extensions for porn, social media, and other categories.

Automatically updated, moderated and optimized lists for blocking ads, trackers, malware and other garbage

Hostfile blocklist for ads and tracking, updated regularly

Primary Block Lists

A repository for the material of my course on lambda-calculus and categories

Slides and handwritten notes on the course on models of programming languages

Abstract binding trees (abstract syntax trees plus binders), as a library in Agda