Brainfuck interpreter written in C
A new language feature
A language variant of Racket to help you debug program
The followings are dependent type languages I try to create.
A programming language
Tiny Kubernetes to show how its network work
A little scheme for playing SICP
Library for interacting with LLVM IR in pure Go.
As a contributor, I majorly contribute to
Show the idea behind of logic programming(rule-based problem solver) and create one
Present how macro work. The idea of macro is simple: a function operating AST. By operating AST, we can create new syntax for certain usage.
redux in Go
A util toolbox for compiler error reporting.
Light-weight web framework for Go
Demonstrate how to do type checking under nanopass framework.
Post link: https://racket.tw/post/2020-12-18-simple-type-check-with-nanopass.html
A tutorials teaching how to create a programming language