Software Alternatives & Reviews

OCaml 5.0 Multicore is out

ReasonML Haxe Infer by Facebook Coq Flow Type
  1. 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

  2. 2
    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

  3. Detect bugs in Android and iOS apps before they ship.
    Pricing:
    • Open Source

    #Communication #Group Chat & Notifications #Cloud Storage 8 social mentions

  4. 4

    Coq

    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

  5. A Static Type Checker for JavaScript
    Pricing:
    • Open Source

    #Programming Language #Programming #Static Type Checker 24 social mentions

Discuss: OCaml 5.0 Multicore is out

Log in or Post with