madsravn/folly
Folly is an open-source C++ library developed and used at Facebook.
Template metaprogramming shell
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Folly is an open-source C++ library developed and used at Facebook.
Public repository.
Coq files from course on functional programming
Solutions for the book Software Foundations by Benjamin C. Pierce