Ada

Ada

AdaCore
Dart

Dart

Dart Language

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

Mature and complete async-await for user interfaces containing event-driven code, paired with isolate-based concurrency. A programming language optimized for building user interfaces with features such as sound null safety, the spread operator for expanding collections, and collection if for customizing UI for each platform. Write code using a flexible type system with rich static analysis and powerful, configurable tooling. Target the web with complete, mature, fast compilers for JavaScript. Run backend code supporting your app, written using a single programming language. This collection is not exhaustive—it’s just a brief introduction to the language for people who like to learn by example. You might also want to check out the language and library tours, or the Dart cheatsheet codelab.

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.

About

Simple, fast, safe, and compiled. For developing maintainable software. Simple language for building maintainable programs. You can learn the entire language by going through the documentation over a weekend, and in most cases, there's only one way to do something. This results in simple, readable, and maintainable code. This results in simple, readable, and maintainable code. Despite being simple, V gives a lot of power to the developer and can be used in pretty much every field, including systems programming, webdev, gamedev, GUI, mobile, science, embedded, tooling, etc. V is very similar to Go. If you know Go, you already know 80% of V. Bounds checking, No undefined values, no variable shadowing, immutable variables by default, immutable structs by default, option/result and mandatory error checks, sum types, generics, and immutable function args by default, mutable args have to be marked on call.

Platforms Supported

Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook

Platforms Supported

Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook

Platforms Supported

Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook

Platforms Supported

Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook

Audience

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

Audience

Developers

Audience

Developers in need of an advanced Programming Language solution

Audience

Developers interested in a language for building maintainable programs

Support

Phone Support
24/7 Live Support
Online

Support

Phone Support
24/7 Live Support
Online

Support

Phone Support
24/7 Live Support
Online

Support

Phone Support
24/7 Live Support
Online

API

Offers API

API

Offers API

API

Offers API

API

Offers API

Screenshots and Videos

Screenshots and Videos

Screenshots and Videos

Screenshots and Videos

Pricing

No information available.
Free Version
Free Trial

Pricing

No information available.
Free Version
Free Trial

Pricing

Free
Free Version
Free Trial

Pricing

Free
Free Version
Free Trial

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

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
Webinars
Live Online
In Person

Training

Documentation
Webinars
Live Online
In Person

Training

Documentation
Webinars
Live Online
In Person

Training

Documentation
Webinars
Live Online
In Person

Company Information

AdaCore
www.adacore.com/about-ada

Company Information

Dart Language
dart.dev/

Company Information

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

Company Information

V Programming Language
United States
vlang.io

Alternatives

Alternatives

Alternatives

Racket

Racket

Racket Language

Alternatives

Swift

Swift

Apple
Dart

Dart

Dart Language
Java

Java

Oracle
Zig

Zig

Zig Software Foundation
Zig

Zig

Zig Software Foundation

Categories

Categories

Categories

Categories

Integrations

AskCodi
Codacy
CodeFactor
CodeScene
Dfns
FOSSA
Gemini Code Assist
Helix Editor
IntelliSense
Lapce
PocketBase
SOOS
SpellBox
Supacodes
Typora
Visual Studio Code
Zed
barKoder Barcode Scanner SDK
test_coverage

Integrations

AskCodi
Codacy
CodeFactor
CodeScene
Dfns
FOSSA
Gemini Code Assist
Helix Editor
IntelliSense
Lapce
PocketBase
SOOS
SpellBox
Supacodes
Typora
Visual Studio Code
Zed
barKoder Barcode Scanner SDK
test_coverage

Integrations

AskCodi
Codacy
CodeFactor
CodeScene
Dfns
FOSSA
Gemini Code Assist
Helix Editor
IntelliSense
Lapce
PocketBase
SOOS
SpellBox
Supacodes
Typora
Visual Studio Code
Zed
barKoder Barcode Scanner SDK
test_coverage

Integrations

AskCodi
Codacy
CodeFactor
CodeScene
Dfns
FOSSA
Gemini Code Assist
Helix Editor
IntelliSense
Lapce
PocketBase
SOOS
SpellBox
Supacodes
Typora
Visual Studio Code
Zed
barKoder Barcode Scanner SDK
test_coverage
Claim Ada and update features and information
Claim Ada and update features and information
Claim Dart and update features and information
Claim Dart and update features and information
Claim Unlambda and update features and information
Claim Unlambda and update features and information
Claim V Programming Language and update features and information
Claim V Programming Language and update features and information