nitnelave/ProtEnc
View on GitHub ↗ ★ 63 C++
A C++ typestate library
3 mentions on Hacker News by 1 person: 3 stories, 0 comments · first 2019-07-25 · latest 2019-08-08
20082026
-
▲ 2
Enforcing protocols at compile-time in C++story by nitnelave · 2019-08-08 · 0 comments
-
▲ 2
ProtEnc – Proving Protocols with Typestates in C++story by nitnelave · 2019-07-31 · 0 comments
-
▲ 3
ProtEnc – Typestate Library in C++story by nitnelave · 2019-07-25 · 1 comment