The repository host gives no description.
- lecture
- floating-point
- coq-formalization
- ieee-754
Repository Index
56,139 visible repositories in the index
121–124 of 124 · Most stars
mongodb-aggregate-adventure will run through a series of MongoDB aggregation workshops. Starting at a basic aggregation tasks and moving on to more advanced exercises about dealing with aggregation using MongoDB.
Advanced introduction to R in French.
The repository contains files needed for the inspectIT workshops.