167 Open source projects that are alternatives of or similar to Correct By Construction

R-Ladies Berlin - Collection of presentation and information

No description or website provided.

International pitch for the Godot Game Engine, made in Godot, available in 15+ languages

Python framework for making slides

🧊 Презентації та Воркшопи

An interactive, terminal-based markdown presenter

Conference Talk - Getting Started with Grails

🌈Beamer风格的幻灯片模板集。包含了PowerPoint和Keynote两套格式。

Deliberately vulnerable scripts for Web Security training

Slider Component of Vue.js.

模仿网易云年度报告风格的QQ空间数据分析展示页面，使用React做了模块化

Repository for the slides and the code of my CppCon 2015 talks.

🖼 a slide deck presentation tool written in pure bash

Terminal based presentation tool

Materials for rstudio::conf

💥 Browser-based slides or PDFs of our talks and presentations

The skinny framework for creating slide deck from Markdown

A set of React.js components to create easy en extendable presentations.

💬 Slides and supplementary codes for my talk 'Debugging Tips on TensorFlow' (2016)

A "markdown-first" approach for generating beautiful browser-based slides easily. Based on Reveal.js and Reveal-Jekyll.

😎 Give your xaringan slides some style

IT 行业相关的 PPT 收集，关注大数据、人工智能、软件架构等。

🗣 Create presentations using Gatsby, React & Markdown.

How to touch a users eyes without hurting them or freaking out.

📑 Presentation helps you to make tutorials, release notes and animated pages.

Slides for "Confidently Testing WordPress"

Study material (slides, documents, etc) for the Web Applications I course (Politecnico di Torino, 2019/2020)

Generate Google Slides from markdown

present your code as slides in VSCode

Rad code slides <🏄/>

StageMate is the smart assistant for your presentation. It will cover all aspects of your pitch from skipping slides to reminding you if you miss some major point.

Slides archive of Service Mesh meetups - https://www.servicemesher.com/tags/meetup

Scripts to convert a BigBlueButton recording into a single video file

Create HTML presentations in seconds —

中传信安专业必修课 - Linux系统与网络管理 课件

📽️ Create rich HTML-based presentations with Hugo and Reveal.js

An easy to use Android Library to get slides in apps using images or image URLs

Most usable tools for iOS penetration testing

Docker based Markdown Editing Environment for slides, resume, books and articles; New Linux ELF Video Course from this project author: https://www.cctalk.com/m/group/88089283

Rich featured syntax highlighter for Keynote slides.

Slides for #NICAR18 workshop on collecting and analyzing Twitter data

Notes, examples, and Python demos for the textbook "Machine Learning Refined" (published by Cambridge University Press).

A web component for presenters

Slides, paper notes, class notes, blog posts, and research on ML 📉, statistics 📊, and AI 🤖.

Role of Babel in JS (TC39 May 2017)

✍️Fusuma makes slides with Markdown easily.

高性能并行编程与优化 - 课件

A small UI for building presentation slides from markdown markup

An engine for displaying slips, the next-gen version of slides

A javascript library to build expressive web presentations in seconds.

🎤 List of presentation, volunteer and initiatives

presentations for busy messy hackers

🎤 Serving presentation slides written in Markdown.

Presentations, meetups and talks about ClickHouse

This is a list of useful libraries and resources for CUDA development.

Slides from Kubecon 2018

💦 CLI tool for making HTML presentations with Remark.js using Markdown

A CLI interface for Marp and Marpit based converters

QQZone mood spider and analysis. QQ空间多线程爬虫和数据挖掘。提供线上服务，扫码登陆即可自动爬取和分析数据，还有网易云年度报告风格的数据展示；使用docker-compose打包程序，方便部署；额外提供QQ空间抽奖小程序。

Aulas da disciplina de Programação Web no CEFET/MG