An open-source C++ library developed and used at Facebook.
Repository Index
47,133 repositories indexed
1–15 of 15 · 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
Jupyter kernel for Coq
:green_book: Literate Programming System for Common Lisp
- literate-programming
- lisp
- common-lisp
A notebook app integrated with todo lists utility. Developed with Rust, WebAssembly, Yew and Trunk.
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
- coq
- bourbaki
- set-theory
- mathcomp
Common Lisp The Language Second Edition
- book
- common-lisp
- documentation
- lisp
In this course your students will learn the fundamentals of Swift 3 programming, using Geometry as their context for learning. The style of this course mimic "Logo", which is an educational programming language designed in 1967 by Daniel Borrow, Wally Feurzeig, Seymour Papert and Cynthia Soloman.
- swift
- swift3
- playgroundbook
- geometry