GitHub repository: okTurtles/sbp
Primary language: TypeScript
Description: SBP: A Programming Paradigm for Building Secure Software and Operating Systems