correct-by-construction

mattgodbolt

Correct by Construction : a presentation given at C++ on Sea 2020

slides

View on GitHub Website

22 Stars

2 Forks

22 Watchers

HTML Language

100 SrcLog Score

Cost to Build

$804.8K

Market Value

$842.4K

How is this calculated?

Growth over time

8 data points · 2021-08-01 → 2026-04-01

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about correct-by-construction

Question copied to clipboard

What is the mattgodbolt/correct-by-construction GitHub project? Description: "Correct by Construction : a presentation given at C++ on Sea 2020". Written in HTML. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone correct-by-construction

Clone via HTTPS

git clone https://github.com/mattgodbolt/correct-by-construction.git

Clone via SSH

[email protected]:mattgodbolt/correct-by-construction.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the correct-by-construction issue tracker:

Open GitHub Issues

Similar to correct-by-construction

reveal.js spectacle WebSlides vue-awesome-swiper md2googleslides Presentation container.training decktape patat tensorflow-talk-debugging backslide fusuma highlight Google-Drive-for-Mac reveal-ck iOS tslide slideshow IntroD3 TensorFlowKR-2017-talk-bestpractice FancyWalkthrough-Android libreoffice-impress-templates watchpresenter so-how-does-babel-even-work gatsby-starter-deck Awesome-CUDA fim asciidoctor-reveal.js resources s6