A modern, portable, easy to use crypto library.

Akka Persistence Storage Plugin Implementation for MapR-DB

The CompCert formally-verified C compiler

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

an efficient feature complete C++ bittorrent implementation