avsm/qcon-irmin-demo
Temporarily repo for QCON demo
OpenBSD PV Xen, archived port from GSoC 2006 project
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Temporarily repo for QCON demo
A static analyzer for Java, C and Objective-C
Repository contains each of the mini talks for the 2015 QCon NYC Mini Talks. All code samples are referenced. Additionally, there is a python script that merges each of the pdf's into a single slidedeck. To execute, use python3, install PyPDF2, and execute build.py for each folder you want to merge the decks.
Examples to illustrate the use of algebraic effects in OCaml