A behavioral analytics library that uses dom mutations and user interactions to generate aggregated insights.

The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.

Lean 4 programming language and theorem prover

Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"

Most influential books on Computer Science/programming

Audio waveform player

Code Repository for Machine Learning with PyTorch and Scikit-Learn

The adaptive interface system for modern web experiences.

如何设计一个秒杀系统

Visualizing the javascript runtime at runtime

The web-based visual programming editor.

A Compiler Writing Journey

seL4 specification and proofs

The seL4 microkernel

Xv6 for RISC-V

Collection of TypeScript type challenges with online judge

A repo containing notes about the TypeScript Compiler codebase

A miniature model of the Typescript compiler, intended to teach the structure of the real Typescript compiler

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

Bypass Paywalls web browser extension for Chrome and Firefox.

Helping you select an MV* framework - Todo apps for React.js, Ember.js, Angular, and many more

Curated tutorial and resource links I've collected on React, Redux, ES6, and more

A small C compiler

Learn Haskell

Implementations of various type systems in OCaml.

A SQL database implemented purely in TypeScript type annotations.

A book series on JavaScript. @YDKJS on twitter.

The GitHub Archive Program & Arctic Code Vault

Network Analysis in Python

Satellite imagery for dummies.