-
ReasonML is a new face to OCaml that--when coupled with BuckleScript--makes web development easy...Pricing:
- Open Source
#Personal Finance #Financial Planner #Android 33 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
-
Detect bugs in Android and iOS apps before they ship.Pricing:
- Open Source
#Communication #Group Chat & Notifications #Cloud Storage 8 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
-
A Static Type Checker for JavaScriptPricing:
- Open Source
#Programming Language #Programming #Static Type Checker 24 social mentions