-
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 49 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
-
Qt is a great cross-platform development toolkit.
#Programming Language #OOP #Generic Programming Language 13 social mentions