100+ open-source clones of popular sites like Airbnb, Amazon, Instagram, Netflix, Tiktok, Spotify, Whatsapp, Youtube etc. See source code, demo links, tech stack, github stars.

二〇二三年的年终总结都写好了吗？

Java annotation processor to create immutable objects and builders, for records too. Sweep boilerplate code under the rug!

An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.

中文独立博客列表

Educational Proof Assistant for Type Theory

Delivers efficient, stable, and secure data distribution and acceleration powered by P2P technology, with an optional content‑addressable filesystem that accelerates OCI container launch.

Pluggable type-checking for Java

Chez Scheme

Inference of pluggable types for Java

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

Pluggable type-checking for Java

A lambda calculus interpeter

(λ) Educational lambda calculus interpreter

Fun with λ calculus!

An introduction to lambda calculus in Chinese, including an interpreter in Haskell.

A C++11 implementation of Hindley-Milner type inference.

Dependently Typed Lambda Calculus in Haskell

The Hindley Milner Type Inference Algorithm

Implementations of various type systems in OCaml.

atyuwen.github.io

🔨AI 方向好用的科研工具

📈 A small, fast chart for time series, lines, areas, ohlc & bars

Give awesome and informative presentation efficiently.

Toy.new

讲义和习题目录

🌟 Wiki of OI / ICPC for everyone. （某大型游戏线上攻略，内含炫酷算术魔法）

Filter images by Algorithm Visualizations powered by WebGL.