A purely functional programming language with first class types

The Ultimate program analysis framework.

saturation-based HORS model checker

Weekly Go Online Meetup via Bilibili｜Go 夜读｜通过 bilibili 在线直播的方式分享 Go 相关的技术话题，每天大家在微信/telegram/Slack 上及时沟通交流编程技术话题。

一个 xjb 写的 DB

A C-like-lan interpreter

some little funny toys/tools

record daily learning