ImGui style table cell, but for text mode

Minimal implementations for dependent type checking and elaboration

Generate type-safe Go converters by simply defining an interface

pure functional and generic programming for Go

C4-PlantUML combines the benefits of PlantUML and the C4 model for providing a simple way of describing and communicate software architectures

A self-hosting mini Haskell compiler with a mini C runtime.

😎 Curated list of awesome resources on Compilers, Interpreters and Runtimes

Lisp in 99 lines of C and how to write one yourself. Includes 20 Lisp primitives, garbage collection and REPL. Includes tail-call optimized versions for speed and reduced memory use.

Getting started with static program analysis. 静态程序分析入门教程。

Research middleware compiler from System F-based languages to Java with the Imperative Functional Object encoding

《软件基础》中译版 Software Foundations Chinese Translation

Immutable collections for Go

A consensus that unifies paxos, raft, 2pc, etc.

distributed consensus protocol's bugs, flaws, deceptive traps, improvements

Rust 培养提高计划, 感谢 Databend 社区 支持https://github.com/datafuselabs/databend

《开发者体验：探索与重塑》电子书。book of research and refactoring in developer experience (WIP)

The most comprehensive database of Chinese poetry 🧶最全中华古诗词数据库, 唐宋两朝近一万四千古诗人, 接近5.5万首唐诗加26万宋诗. 两宋时期1564位词人，21050首词。

An implementation of Pie in Haskell

Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates, a Preprocessor, and more.

💻 计算机速成课 | Crash Course 字幕组 (全40集 2018-5-1 精校完成) B站播放量 383万

INACTIVE - http://mzl.la/ghe-archive - The Narcissus meta-circular JavaScript interpreter

Rock Your Java!

Apache Calcite

my systemtap toolkit to online analyze on production

A Parser Combinator library for C

一个简单好用的PHP框架，莫有文档，请先读代码。

ncurses Image Viewer

Inject code into running Python processes

User-mode TCP/IP stack from 4.4BSD-Lite2, a companion of TCP/IP Illustrated vol. 2