about
hai, im melody (it/its), an undergraduate studying computer science at stevens. i am interested in systems programming and programming languages, especially in regards to memory safety. i have a myriad of projects, but some current projects include:
- formal verification of the posix shell and the pash toolchain
- a programming language made to explore data and codata
- a bunch of other stray coding projects
- a few fiction projects
other nonprogramming things i like include frogs, creative writing, conlangs[citation needed], and singing[citation needed].