Wuffs: a programming language that prevents null pointer defence, buffer overflow, and arithmetic overflow, all at compile time! Designed for file format parsing.
https://github.com/google/wuffs
Related Posts
Co-Authored-By: An old Stack Overflow answer, blindly accepting the compiler's suggestions, and a linter.
Blogging about my programming language project: choosing the basic syntax!
https://www.garden-lang.org/blog/syntax.html
Bril is a cute intermediate language for teaching (think simplified LLVM IR): https://www.cs.cornell.edu/~asampson/blog/bril.html
The idea of providing a standard JSON format to help students write basic passes is really elegant.