👋 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

Programming Language Theory

starred repos:

• books:
  • Learn APL
  • easyforth: Learn Forth!
• 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:
  • skov: a visual programming environment based on Factor
  • factor
  • pharo: live programming inspired by Smalltalk

Forward-Lang ☚ My pet project

Operating System Development

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

Arch-Linux