Embed Julia in R
- r
- julia
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
🤘Utility library for functional JavaScript. With ❤️ to Ramda.
- ramda
- ramda-functions
- utils
- utilities
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
- coq
- theorems