「メモリ安全性」タグのOSS

こんなOSS

ownership modelでmemory・thread safetyをcompile時に支える高性能なsystems programming言語。