Lists (1)
Stars
A demo implementation of a simple dependently-typed language
A set of Processing animations, which have commented code
Reference implementation for Writing a C Compiler
It's the eternal battle between day and night, good and bad. Written in JavaScript with some HTML & CSS in one index.html.
A Coq implementation of a nanopass compiler, using "Meta-Theory à la Carte" techniques
Yet an other 30 days of X challenge by Frad.
Blender Addon: Differential Growth
A Lisp interpreter implemented in Conway's Game of Life
An embeddable Scheme R7 Compiler & Runtime written in Rust
A Lisp interpreter written in untyped lambda calculus
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
程序员延寿指南 | A programmer's guide to live longer
Minimal implementations for dependent type checking and elaboration
程序员在家做饭方法指南。Programmer's guide about how to cook at home (Simplified Chinese only).
List of Computer Science courses with video lectures.
Exploring Möbius transformations and implementing the book Indra's Pearls
📚 《Go语言定制指南》(原名：Go语法树入门/开源免费图书/Go语言进阶/掌握抽象语法树/Go语言AST)
The cuteness implementation of a dependently typed language.