Discover trending ATS
open-source projects

Our great sponsors
  • Scout APM - A developer's best friend. Try free for 14-days
  • Nanos - Run Linux Software Faster and Safer than Linux with Unikernels
  • SaaSHub - Software Alternatives and Reviews
Stars Project Description
- 328 ATS2: Unleashing the Potentials of Types and Templates
- 217 Tool to count lines of source code.
- 141 Implementing ATS3 in ATS2
- 27 Pretty-print error messages of the ATS Compiler
- 20 Home of the fast-arithmetic library for number theory in ATS and Haskell.
- 18 generate ATS interface from C code

Popular ATS Topics

Latest Mentions

Latest mentioned ATS repos
Stars Project
328 ATS-Postiats
217 polyglot
141 ATS-Xanadu
27 ats-acc

Latest Discoveries

Latest discovered ATS repos
Stars Project
328 ATS-Postiats
141 ATS-Xanadu
217 polyglot
27 ats-acc
20 fast-arithmetic
18 c2ats

Find remote jobs at our new job board There are 32 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.