Pinned Loading

1. fsfc fsfc Public

   Feature Selection for Clustering

   Python 97 28

2. categories categories Public

   Category Theory

   Idris 19 1

3. setoids setoids Public

   Idris proofs for extensional equalities

   Idris 9 1

4. dfl dfl Public

   Differentiable Functional Language

   Haskell 6

5. fnn fnn Public

   Experimental Language for Designing of Neural Networks

   Kotlin 3