The Home of Community

800K+ People
300K+ Rooms
90K+ Communities
100+ Countries

ktoso / sbt-jmh

"Trust no one, bench everything." - SBT plugin for JMH (Java Microbenchmark Harness)

scala trust bench sbt plugin jmh

gprimiero / SecureNDC

A Coq Library for the SecureND Calculus for Minimal Trust

coq library securend calculus minimal trust