N-D labeled arrays and datasets in Python
Repository Index
47,133 repositories indexed
1–8 of 8 · Most stars
NIST Certified SCAP 1.2 toolkit
- scap
- xccdf
- oval
- cpe
Official GitHub repository for netCDF-C libraries and utilities.
- netcdf
- unidata
- unidata-netcdf
- c
A C++ header-only library of statistical distribution functions.
- stats
- cpp
- constexpr
- numerical-methods
Official GitHub repository for netCDF-Fortran libraries, which depend on the netCDF C library. Install the netCDF C library first.
- netcdf-fortran
- unidata
- netcdf-library
- dataset
Fork of https://gitlab.mpcdf.mpg.de/mtr/pocketfft to simplify external contributions
Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
Companion Coq development for Xavier Leroy's 2021 lectures on program logics