Top 12 Open-Source Alternatives to ATS

Product categories

Continuous Integration DevOps Tools Dynamic Programming Language Generic Programming Language IDE JVM Programming Language OOP Programming Language Technical Computing

Summary

The top open-source alternatives to ATS are Rust, Haskell, and Go.CD. One of the criteria for ordering this list is the number of mentions that products have on reliable external sources. You can suggest additional sources through the form here.

Rust Landing Page
1

Rust

A safe, concurrent, practical language
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 44 social mentions
Haskell Landing Page
2

Haskell

An advanced purely-functional programming language
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 21 social mentions
Go.CD Landing Page
3

Go.CD

Open source continuous delivery tool allows for advanced workflow modeling and dependencies management.
Pricing:
- Open Source
#Continuous Integration #DevOps Tools #Programming Language
Idris Landing Page
4

Idris

Programming, Programming Language, Learning Resources, Languages, and Frontend Development
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 1 social mentions
Elixir Landing Page
5

Elixir

Dynamic, functional language designed for building scalable and maintainable applications
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 74 social mentions
Agda Landing Page
6

Agda

Agda is a dependently typed functional programming language. It has inductive families, i.e.
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 7 social mentions
Coq Landing Page
7

Coq

Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...
Pricing:
- Open Source
#Programming Language #OOP #Technical Computing 46 social mentions
Clojure Landing Page
8

Clojure

Clojure is a dynamic, general-purpose programming language, combining the approachability and interactive development of a scripting language with an efficient and robust infrastructure for multithreaded programming.
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 36 social mentions
Racket Lang Landing Page
9

Racket Lang

Racket (formerly PLT Scheme) is a modern programming language in the Lisp/Scheme family, suitable...
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 91 social mentions
Zig Landing Page
10

Zig

Zig is a general-purpose programming language designed for robustness, optimality, and maintainability.
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 143 social mentions
Python Landing Page
11

Python

Python is a clear and powerful object-oriented programming language, comparable to Perl, Ruby, Scheme, or Java.
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 280 social mentions
Scala Lang Landing Page
12

Scala Lang

Scala is a pure-bred object-oriented language that runs on the JVM
Pricing:
- Open Source
#Programming Language #JVM Programming Language #OOP 5 social mentions