Easy to use OpenID Connect client and server library written for Go and certifie

Go1134apache-2.0

3 months ago

certifiedclientcode-flow

NIST Certified SCAP 1.2 toolkit

XSLT1210lgpl-2.1

4 months ago

compliancecpedata-stream

Resources for the Magento 2 Certified Professional Front End Developer exam

116

4 years ago

Preparation notes for Magento 2 Certified Professional Developer exam

695

3 years ago

exammagento-certified-developermagento2

A certified Sudoku solver in Coq [maintainers=@siraben,@thery]

Coq20lgpl-2.1

2 years ago

coqnix-actionsudoku

📚Magento 2 Certified Professional Developer Plus Exam

PHP78gpl-2.0

4 years ago

examexamsmagento-certified-developer

Preparation notes for Magento 2 Certified Professional Cloud Developer exam

82

5 years ago

exammagento-certified-cloud-developermagento-certified-developer

A framework for implementing and certifying impure computations in Coq

Coq49mpl-2.0

2 years ago

coqformal-verificationfreer-monads