Fast functions for number theory and combinatorics with a high level of safety guaranteed by ATS.


Keywords
ats, bsd3, combinatorics, ffi, library, math, number-theory, numerics, Propose Tags , Numeric.Combinatorics, Numeric.NumberTheory, arithmoi, combinat, atspkg, Hackage
License
BSD-3-Clause
Install
cabal install fast-arithmetic-0.3.1.0

Documentation

hs-ats

Various libraries facilitating calling ATS from Haskell (and vice versa).

Contents

-------------------------------------------------------------------------------
 Language             Files       Lines         Code     Comments       Blanks
-------------------------------------------------------------------------------
 ATS                      8         833          706           37           90
 Bash                     1          26           19            0            7
 C Header                 1          11           10            0            1
 Cabal                    1         120          106            0           14
 Cabal Project            1           9            6            0            3
 Dhall                    5         118          101            0           17
 Haskell                  5         309          239           22           48
 Justfile                 1          22           18            0            4
 Markdown                 4         170          137            0           33
 TOML                     1           3            3            0            0
 YAML                     4         138          129            0            9
-------------------------------------------------------------------------------
 Total                   32        1759         1474           59          226
-------------------------------------------------------------------------------