Ada

Ada

AdaCore
+
+

Related Products

  • ClickLearn
    67 Ratings
    Visit Website
  • RaimaDB
    12 Ratings
    Visit Website
  • Creatio
    589 Ratings
    Visit Website
  • MuukTest
    34 Ratings
    Visit Website
  • Planview ProjectAdvantage
    121 Ratings
    Visit Website
  • BidJS
    37 Ratings
    Visit Website
  • Cloudbrink
    28 Ratings
    Visit Website
  • FISPAN
    5 Ratings
    Visit Website
  • Jesta Vision Suite
    42 Ratings
    Visit Website
  • Global Shop Solutions
    77 Ratings
    Visit Website

About

Ada is a state-of-the-art programming language that development teams worldwide are using for critical software, from microkernels and small-footprint, real-time embedded systems to large-scale enterprise applications, and everything in between. Why use Ada? In short, because you want to write reliable and efficient code, with confidence that it works, and not waste time and effort in the process. Ada is unique among languages in how it helps you detect and eliminate bugs early in the software life cycle when they are least expensive to correct. And as evidenced by the many successfully fielded applications that need to meet a hard time or space constraints, Ada helps you build software that is reliable, safe, and secure without sacrificing performance. At the technical level, Ada has everything you might expect in a modern language. Concurrent programming features, including support for multicore.

About

Unlambda is a programming language. Nothing remarkable there. The originality of Unlambda is that it stands as the unexpected intersection of two marginal families of languages. Functional programming languages, of which the canonical representative is Scheme (a Lisp dialect). This means that the basic object manipulated by the language (and indeed the only one as far as Unlambda is concerned) is the function. Rather, Unlambda uses a functional approach to programming: the only form of objects it manipulates are functions. Each function takes a function as an argument and returns a function. Apart from a binary “apply” operation, Unlambda provides several built-in functions (the most important ones being the K and S combinators). User-defined functions can be created, but not saved or named, because Unlambda does not have any variables.

Platforms Supported

Windows Supported
Mac Supported
Linux Supported
Cloud Supported
On-Premises Supported
iPhone Not Supported
iPad Not Supported
Android Not Supported
Chromebook Supported

Platforms Supported

Windows Not Supported
Mac Not Supported
Linux Not Supported
Cloud Supported
On-Premises Not Supported
iPhone Not Supported
iPad Not Supported
Android Not Supported
Chromebook Not Supported

Audience

Development teams interested in a solution to create small and large-scale enterprise applications

Audience

Developers in need of an advanced Programming Language solution

Support

Phone Support Not Supported
24/7 Live Support Not Supported
Online Supported

Support

Phone Support Not Supported
24/7 Live Support Not Supported
Online Supported

API

Offers API Not Supported

API

Offers API Not Supported

Screenshots and Videos

Screenshots and Videos

Pricing

No information available.
Free Version Not Supported
Free Trial Not Supported

Pricing

Free
Free Version Supported
Free Trial Not Supported

Reviews/Ratings

Overall 0.0 / 5
ease 0.0 / 5
features 0.0 / 5
design 0.0 / 5
support 0.0 / 5

This software hasn't been reviewed yet. Be the first to provide a review:

Review this Software

Reviews/Ratings

Overall 0.0 / 5
ease 0.0 / 5
features 0.0 / 5
design 0.0 / 5
support 0.0 / 5

This software hasn't been reviewed yet. Be the first to provide a review:

Review this Software

Training

Documentation Supported
Webinars Supported
Live Online Not Supported
In Person Not Supported

Training

Documentation Supported
Webinars Not Supported
Live Online Not Supported
In Person Not Supported

Company Information

AdaCore
www.adacore.com/about-ada

Company Information

Unlambda
www.madore.org/~david/programs/unlambda/

Alternatives

Alternatives

Racket

Racket

Racket Language
Dart

Dart

Dart Language
Java

Java

Oracle

Categories

Categories

Integrations

CodePal Supported
Helix Editor Supported
Lapce Supported
Rapita Verification Suite Supported
Replit Not Supported
Zed Supported

Integrations

CodePal Not Supported
Helix Editor Not Supported
Lapce Not Supported
Rapita Verification Suite Not Supported
Replit Supported
Zed Not Supported
Claim Ada and update features and information
Claim Ada and update features and information
Claim Unlambda and update features and information
Claim Unlambda and update features and information