Software Alternatives & Reviews

💻 Generic Programming Language

Software related to general-purpose programming languages.

The best Generic Programming Language Products based on votes, our collection of reviews, verified products and a total of 518 factors

Top Generic Programming Language Products

  1. 10

    Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...

    Open Source

  2. 10

    Qt is a great cross-platform development toolkit.

  3. 15

    Squirrel is a high level imperative, object-oriented programming language, designed to be a light-weight scripting language that fits in the size, memory bandwidth, and real-time requirements of applications like video games.

    Open Source

  4. 11

    pyjs is a Rich Internet Application (RIA) Development Platform for both Web and Desktop.

    Open Source

  5. A programming language used to build massively scalable soft real-time systems with requirements on high availability

    Open Source

  6. 15

    Already one of the world's best-selling consumer electronics brands, TCL is now the fastest-growing TV brand in North America. TCL TVs feature stylish design and the latest technology.

    Open Source

  7. Smalltalk/X jv branch is an version of Smalltalk/X maintained by Jan Vrany. This enhanced version includes features that are not part Smalltalk/X upstream nor released by eXept. Simply put, Smalltalk/X jv-branch is Smalltalk/X on steroids.

  8. 10

    The primary programming language you use when writing software for OS X and iOS

  9. 11

    The modern, multi-paradigm, high-performance, compiled, ANSI-standardized descendant of the long-running family of Lisp programming languages

  10. 10

    Vala is a new programming language that aims to bring modern programming language features to GNOME...

  11. Odin can be used to flash a Custom Recovery firmware image to a Samsung Android device.

  12. 15

    Execute JavaScript codes in Real-Time!

  13. Isabelle is a proof assistant for writing and checking mathematical proofs by computer.