Popular repositories Loading

1. lapack lapack Public

   Forked from Reference-LAPACK/lapack

   LAPACK development repository

   Fortran

2. MPAS-Model MPAS-Model Public

   Forked from MPAS-Dev/MPAS-Model

   Repository for MPAS models and shared framework releases.

   Fortran

3. NixOS-QChem NixOS-QChem Public

   Forked from Nix-QChem/NixOS-QChem

   Nix derivations for HPC/Quantum chemistry software packages

   Nix

4. spectacle spectacle Public

   Forked from awakesecurity/spectacle

   Embedded specification language & model checker in Haskell

   Haskell

5. nix-update nix-update Public

   Forked from Mic92/nix-update

   Swiss-knife for updating nix packages.

   Python

6. frunk frunk Public

   Forked from lloydmeta/frunk

   Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.

   Rust