-
Steel Bank Common Lisp (SBCL) is a high performance Common Lisp compiler.Pricing:
- Open Source
#IDE #Text Editors #Programming Language 5 social mentions
-
Racket (formerly PLT Scheme) is a modern programming language in the Lisp/Scheme family, suitable...Pricing:
- Open Source
#IDE #Programming Language #OOP 95 social mentions
-
Clozure CL (often called CCL for short) is a free Common Lisp implementation with a long history.Pricing:
- Open Source
#IDE #Text Editors #Programming Language 6 social mentions
-
Zig is a general-purpose programming language designed for robustness, optimality, and maintainability.Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 155 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
-
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 39 social mentions
-
D is a language with C-like syntax and static typing.Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 56 social mentions
-
A safe, concurrent, practical languagePricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 48 social mentions
-
An advanced purely-functional programming languagePricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 21 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
-
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 125 social mentions