An open-source C++ library developed and used at Facebook.
Repository Index
47,133 repositories indexed
1–10 of 10 · Most stars
🪐 Markdown with superpowers: from ideas to papers, presentations, websites, books, and knowledge bases.
- markdown
- markup-language
- paper
- scripting-language
ClojureScript interface to Facebook's React
Python API for Deequ
Lisp/Hiccup style templating for Facebook's React in ClojureScript.
- react
- clojurescript
- hiccup
- template
Ramda Adjunct is the most popular and most comprehensive set of functional utilities for use with Ramda, providing a variety of useful, well tested functions with excellent documentation.
- ramda
- addons
- adjunct
- cookbook
The project provides high-performance concurrency, enabling highly parallel computation.
.net bindings for the rocksdb by facebook
Elixir bindings for Vega-Lite
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
- coq
- bourbaki
- set-theory
- mathcomp