Compiler/VM/language design
Chinese translation of Bjarne Stroustrup's HOPL4 paper
Industrial-strength monadic parser combinator library
JDK main-line development https://openjdk.org/projects/jdk
A lightweight open-source C compiler for research and education.
A neat, object-oriented, lightweight, elegant and fast programming language 👾
Parsing, analyzing, and comparing source code across many languages
Agda is a dependently typed programming language / interactive theorem prover.
PySonar2: a semantic indexer for Python with interprocedual type inference
KCL Programming Language Core and API (CNCF Sandbox Project). https://kcl-lang.io
WebAssembly specification, reference interpreter, and test suite.
🚀 A fast WebAssembly interpreter and the most universal WASM runtime
A friendly programming language from the future
WebAssembly Micro Runtime (WAMR)
historical archive of rust pre-publication development
Darklang main repo, including language, backend, and infra