madsravn/folly
Folly is an open-source C++ library developed and used at Facebook.
~/.js
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