mattgodbolt / Correct By Construction
Correct by Construction : a presentation given at C++ on Sea 2020
Stars: ✭ 17
Programming Languages
cpp
1120 projects
Projects that are alternatives of or similar to Correct By Construction
Lookatme
An interactive, terminal-based markdown presenter
Stars: ✭ 392 (+2205.88%)
Mutual labels: slides
Beamerstyleslides
🌈Beamer风格的幻灯片模板集。包含了PowerPoint和Keynote两套格式。
Stars: ✭ 562 (+3205.88%)
Mutual labels: slides
Tensorflow Talk Debugging
💬 Slides and supplementary codes for my talk 'Debugging Tips on TensorFlow' (2016)
Stars: ✭ 625 (+3576.47%)
Mutual labels: slides
Shlide
🖼 a slide deck presentation tool written in pure bash
Stars: ✭ 406 (+2288.24%)
Mutual labels: slides
Gatsby Starter Deck
🗣 Create presentations using Gatsby, React & Markdown.
Stars: ✭ 522 (+2970.59%)
Mutual labels: slides
Marpit
The skinny framework for creating slide deck from Markdown
Stars: ✭ 364 (+2041.18%)
Mutual labels: slides
Machine learning refined
Notes, examples, and Python demos for the textbook "Machine Learning Refined" (published by Cambridge University Press).
Stars: ✭ 750 (+4311.76%)
Mutual labels: slides
Presenta Lib
A javascript library to build expressive web presentations in seconds.
Stars: ✭ 614 (+3511.76%)
Mutual labels: slides
Md2googleslides
Generate Google Slides from markdown
Stars: ✭ 4,093 (+23976.47%)
Mutual labels: slides
Clickhouse Presentations
Presentations, meetups and talks about ClickHouse
Stars: ✭ 483 (+2741.18%)
Mutual labels: slides
Meetup Slides
Slides archive of Service Mesh meetups - https://www.servicemesher.com/tags/meetup
Stars: ✭ 403 (+2270.59%)
Mutual labels: slides
Reveal Hugo
📽️ Create rich HTML-based presentations with Hugo and Reveal.js
Stars: ✭ 381 (+2141.18%)
Mutual labels: slides
Backslide
💦 CLI tool for making HTML presentations with Remark.js using Markdown
Stars: ✭ 679 (+3894.12%)
Mutual labels: slides
Marp Cli
A CLI interface for Marp and Marpit based converters
Stars: ✭ 606 (+3464.71%)
Mutual labels: slides
Correct by construction
Presented at C++ on Sea 2020.
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].