andre-artus/slides-revealjs
Slides for "Slides with Reveal.js"
Low level runtime library for the D programming language
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