-
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 #OOP #Technical Computing 127 social mentions
-
Pharo is a pure object-oriented programming language and a powerful environment, focused on...Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 37 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 #Generic Programming Language 46 social mentions
-
Dynamic programming language with a syntax similar to Java and CPricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 4 social mentions
-
R is a free software environment for statistical computing and graphics.
#Programming Language #OOP #Generic Programming Language 5 social mentions
-
Isabelle is a proof assistant for writing and checking mathematical proofs by computer.
#Programming Language #OOP #Generic Programming Language
-
SymPy is a Python library for symbolic computation.
#Programming Language #OOP #Generic Programming Language