Pinned Loading

1. cuvee cuvee Public

   Forked from gernst/cuvee

   A tool for Boogie and SMT-LIB engineering

   Scala

2. louvain-leiden louvain-leiden Public

   Implementation of the Louvain and Leiden community detection algorithms.

   Jupyter Notebook 9 1

3. ph-nn ph-nn Public

   A TensorFlow implementation of Port-Hamiltonian neural networks

   Jupyter Notebook 2 2

4. NixOS/nixpkgs NixOS/nixpkgs Public

   Nix Packages collection & NixOS

   Nix 18.1k 14.1k