Discover trending ATS
open-source projects

6
10
23
InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
Mentions
@
 Stars Project Description
18 349
ATS-Postiats
 ATS2: Unleashing the Potentials of Types and Templates
2 241
polyglot
 Tool to count lines of source code.
1 182
ATS-Xanadu
 Bootstrapping ATS3
2 29
ats-acc
 Pretty-print error messages of the ATS Compiler
- 22
fast-arithmetic
 Home of the fast-arithmetic library for number theory in ATS and Haskell.
- 18
c2ats
 generate ATS interface from C code

Popular ATS Topics

Language Numerics Fast

Latest Mentions

Latest mentioned ATS repos
Stars Project
349 ATS-Postiats
241 polyglot
182 ATS-Xanadu
29 ats-acc

Latest Discoveries

Latest discovered ATS repos
Stars Project
349 ATS-Postiats
182 ATS-Xanadu
241 polyglot
29 ats-acc
22 fast-arithmetic
18 c2ats

Recently updated posts

  • What is the most feature-rich programming language

    1 project | /r/computerscience

  • Does Rust have any design mistakes?

    1 project | /r/rustjerk

  • Why is ATS not considered in the design of modern system languages?

    2 projects | /r/ProgrammingLanguages

  • ESPOL, NEWP, Mesa, Cedar, Modula-2, Modula-2+, Modula-3, Oberon, Oberon-2, Component Pascal, Active Oberon, D, C#, F#, VB, Ada, Go, Swift, just a few examples.

    1 project | /r/programmingcirclejerk

  • What are all the situations you can't do compile time type-checking when building a programming language?

    1 project | /r/ProgrammingLanguages
View more ยป

Newsletter