Giters

kiniry / Contracts-in-OpenBSD

Experimentation with software contracts in OpenBSD.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Contracts-in-OpenBSD

Experimentation with software contracts in OpenBSD.

About

Experimentation with software contracts in OpenBSD.

Languages

Language:C 78.7%Language:C++ 15.2%Language:Perl 5.5%Language:OCaml 0.5%