GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → vmchale → hs-ats

vmchale / hs-ats

Licence: BSD-3-Clause license
Home of the fast-arithmetic library for number theory in ATS and Haskell.

Programming Languages

ATS
13 projects
haskell
3896 projects
Dhall
116 projects
shell
77523 projects
c
50402 projects - #5 most used programming language

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
-------------------------------------------------------------------------------
Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].