Pinned Loading

1. haskell-ml-benchmark haskell-ml-benchmark Public

   Comparing Different Stochastic Gradien Descent implementations in Haskell against Python

   Haskell 10 1

2. idris-dataframe idris-dataframe Public

   Data structure inspired by R's data frames.

   Idris 6 1

3. gsoc-2021-proposal gsoc-2021-proposal Public

   My proposal for the google summer of code 2021

   Lua 3

4. Formal verification of ++ and reverse Formal verification of ++ and reverse

   1

   module Test

   2

   3

   %hide reverse

   4

   %hide (++)

   5

   %default total

5. recover recover Public

   A data type similar to Data.Validation that recovers from errors.

   Coq