Skip to content
View laofan13's full-sized avatar
🎯
Focusing
🎯
Focusing
18 followers · 115 following
  • shanghai
  • 03:08 (UTC -12:00)

Block or report laofan13

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Stars

pl

programming languages
5 repositories

steshaw / plt

Programming Language Theory λΠ

CSS 5,255 339 Updated Dec 2, 2024

shining1984 / PL-Compiler-Resource

程序语言与编译技术相关资料（持续更新中）

2,046 263 Updated May 22, 2024

plfa / plfa.github.io

An introduction to programming language theory in Agda

Agda 1,387 321 Updated Jan 13, 2025

learn-anything / programming-languages

Awesome Programming Languages

295 35 Updated Jul 9, 2024

llvm / llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

LLVM 30,119 12,433 Updated Jan 14, 2025