andre-artus/slides-revealjs
Slides for "Slides with Reveal.js"
A Drupal/Angular project to simplify the running of various usergroup meetups.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Slides for "Slides with Reveal.js"
Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.
A tool to install and manage D compilers
testing libfortuna