-
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
-
Julia is a sophisticated programming language designed especially for numerical computing with specializations in analysis and computational science. It is also efficient for web use, general programming, and can be used as a specification language.Pricing:
- Open Source
#Programming Language #Technical Computing #OOP 114 social mentions
-
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
-
Steel Bank Common Lisp (SBCL) is a high performance Common Lisp compiler.Pricing:
- Open Source
#Programming Language #OOP #IDE 5 social mentions
-
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
-
An advanced purely-functional programming languagePricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 21 social mentions
-
A safe, concurrent, practical languagePricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 44 social mentions
-
Programming, Programming Language, Learning Resources, Languages, and Frontend DevelopmentPricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 1 social mentions
-
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
-
Haxe is an open source toolkit based on a modern, high level, strictly typed programming language.Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 45 social mentions
-
A type inferred, functional reactive language that compiles to HTML, CSS, and JavaScriptPricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 114 social mentions
-
Powerful, fast, lightweight, embeddable scripting languagePricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 22 social mentions