The repository for the M1 ICFP library-based project focused on precision cosmology. Contains implementations for
- Solver of ODEs' symbolic systems
- CMB spectrum calculation code
- Monte-Carlo Markov Chain for inference of cosmological parameters from data