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

Annotation processor to create immutable objects and builders. Feels like Guava's immutable collections but for regular value objects. JSON, Jackson, Gson, JAX-RS integrations included

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

中文独立博客列表

Educational Proof Assistant for Type Theory

Dragonfly is an open source P2P-based file distribution and image acceleration system. It is hosted by the Cloud Native Computing Foundation (CNCF) as an Incubating Level Project.

Pluggable type-checking for Java

Chez Scheme

Inference of pluggable types for Java

Building a modern functional compiler from first principles. (https://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. （某大型游戏线上攻略，内含炫酷算术魔法）

Turn your avatar into artwork via algorithm visualization and AI. 🏖

算法竞赛课件分享

Source code for article https://paul.pub/a-star-algorithm