COQ. Certified Programming with Dependent Types by Adam Chlipala. Exercises from the book. Solutions.
-
Updated
Oct 29, 2021 - Coq
COQ. Certified Programming with Dependent Types by Adam Chlipala. Exercises from the book. Solutions.
🌳 Explore and open project files in Atom
This repository is used to note and keep all the subjects around terraform certification. cloud engineers can use the Terraform Associate exam from HashiCorp to verify their basic infrastructure automation skills.
Cybersecurity certifications obtained by Michał Sołtysik | CM)CTA | C)CSA | C|SA | CM)CFI | C)NFE | C)DFE | WCNA | C|ND | C)ISSO | C)PTC | C)PTE | C)PEH | C)VA | RvBCWP | CM)IPS | C)TIA | CIoTSP | OOSE | CNSP | CNSE | CCE | CCSS
MOM (My Own Messages) is an easy and cost effective Ethereum standard. You can finally give voice to your smart contract, send messages to the world, create a certified blog with your ideas, and so on.
I am Oliver Frolovs. I got my head in the Clouds 🌩️
30 hours Flutter course by 16 years experience teacher
🧾 Collection of resources to study for CompTia Pentest+ exam (PT0-002).
Xcert token implementation for the Ethereum blockchain.
Ilkilabs Kubernetes Engine(ILKE) is an open-source Kubernetes lightweight Distribution built on top of CNCF ecosystem that provides an enterprise grade solution following best practices to manage a conformant Kubernetes cluster for on-premise and public cloud providers.
Certified Kubernetes Administrator exam cluster(s) for training!
Exam Prep for the Ec-council Certified Ethical Hacker 312-50
Agorakube is a Certified Kubernetes Distribution built on top of CNCF ecosystem that provides an enterprise grade solution following best practices to manage a conformant Kubernetes cluster for on-premise and public cloud providers.
Ultimate Kubernetes Bootcamp
Add a description, image, and links to the certified topic page so that developers can more easily learn about it.
To associate your repository with the certified topic, visit your repo's landing page and select "manage topics."