๐ Hi, Iโm @Bruno-366
- ๐ Iโm interested in Programming Language Theory and Operating System Development
- ๐ฑ Iโm currently learning formal methods
- ๐๏ธ Iโm looking to collaborate on Forward-Lang โ My pet project
- ๐ซ How to reach me:
- @bruno-366 on matrix
- @forward.lang on Instagram
starred repos:
- books:
- minimal implementations:
- Single-File Implementations of Programming Languages
- mal: Make a Lisp
- StoneKnifeForth: tiny self-hosted Forth implementation
- literate programming:
- lit: extracts code from Markdown files
- asciibuild: Literate Programming extensions for Asciidoctor
- innovative language:
starred repos:
- vinix
- heads: the other side of TAILS
- lfs-me: Linux from Scratch made (more) easy
- tldrlfs: Too Long; Didn't Read Linux From Scratch
- HALT: OS where everything is immutable!
- GaryOS: an entire GNU/Linux system in a single bootable file
- distri: a Linux distribution to research fast package management
- glaucus: An independent Linux distribution built from scratch