byako's user avatar
byako's user avatar
byako's user avatar
byako
  • Member for 5 years, 9 months
  • Last seen more than 4 years ago
About

Happy Frama-C (and OCaml) developer, intent on eradicating all bugs in C programs. In a previous life, type system guru (ML^F) dedicated to adding second-order polymorphism to an ML type system near you.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
1
bronze badge
Posts

This user hasn’t posted yet.