There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Electrum
A model checker for relational first-order temporal specificationsecho
A tool for model repair and transformationlabhe
Labelled homomorphic encryption implementation (ESORICS 2017)HAAP
Haskell Automated Assessment Platformhalex
Scalable-Bloom-Filters
CircGen
Dotted-Version-Vectors
libjbn
BigNums library for Jasminwhy3do
Why3-do: a WhyML library for state machine specifications and distributed systemsccomp-simd
SIMD extensions for ccompifta
MeT
SecreC
apex
hcispecs
Formal models of human-machine interfacesQAIS
Quantitative Analysis of Interacting SystemsInterval-Tree-Clocks
Love Open Source and this site? Check out how you can help us