brendanzab - Codeberg.org

This website requires JavaScript.

brendanzab · he/him

8 followers · 22 following

Making programming languages and elaborators

https://github.com/brendanzab
Joined on 2025年02月03日

Projects Packages Public activity Starred repositories

language-garden

A garden of small programming language implementations 🪴

compilation dependent-types elaboration language-garden normalization-by-evaluation programming-languages type-checking type-systems

Updated 2026年07月12日 18:29:22 +02:00

Block user

Please note that blocking a user has other effects, such as:

You will stop following each other and will not be able to follow each other.
This user will not be able to interact with the repositories you own, or the issues and comments you have created.
You will not be able to add each other as repository collaborators.