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
Cybersecurity certifications obtained by Michał Sołtysik | C)CSA | C)NFE | C)DFE | WCNA | C|ND | C)PTC | C)PTE | C)PEH | C)VA | RvBCWP | CIoTSP | OOSE | CNSP | CNSE | CCE | CCSS
I am Oliver Frolovs. I got my head in the Clouds 🌩️
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.
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.
30 hours Flutter course by 16 years experience teacher
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.
Xcert token implementation for the Ethereum blockchain.
Certified Kubernetes Administrator exam cluster(s) for training!
🧾 Collection of resources to study for CompTia Pentest+ exam (PT0-002).
Ultimate Kubernetes Bootcamp
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.
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."