Ada

Ada

AdaCore

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.

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.

About

WebAssembly (abbreviated Wasm) is a binary instruction format for a stack-based virtual machine. Wasm is designed as a portable compilation target for programming languages, enabling deployment on the web for client and server applications. The Wasm stack machine is designed to be encoded in a size- and load-time-efficient binary format. WebAssembly aims to execute at native speed by taking advantage of common hardware capabilities available on a wide range of platforms. WebAssembly describes a memory-safe, sandboxed execution environment that may even be implemented inside existing JavaScript virtual machines. When embedded in the web, WebAssembly will enforce the same-origin and permissions security policies of the browser. WebAssembly is designed to be pretty-printed in a textual format for debugging, testing, experimenting, optimizing, learning, teaching, and writing programs by hand. The textual format will be used when viewing the source of Wasm modules on the web.

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 in need of an advanced Programming Language solution

Audience

Developers interested in a language for building maintainable programs

Audience

Developers

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

Free
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

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

Company Information

V Programming Language
United States
vlang.io

Company Information

WebAssembly
Founded: 2015
webassembly.org

Alternatives

Alternatives

Racket

Racket

Racket Language

Alternatives

Alternatives

Swift

Swift

Apple
AssemblyScript

AssemblyScript

The AssemblyScript Project
Java

Java

Oracle
Zig

Zig

Zig Software Foundation
Zig

Zig

Zig Software Foundation
Modsurfer

Modsurfer

Dylibso

Categories

Categories

Categories

Categories

Integrations

AssemblyScript
BlazorPlate
C
CodePal
Extism
Gideros
Helix Editor
Indent
JavaScript
Lapce
ML Console
Metatable
Modsurfer
Replit
Second State
SurrealDB
Wasmer
WebContainers
Zed
fastText

Integrations

AssemblyScript
BlazorPlate
C
CodePal
Extism
Gideros
Helix Editor
Indent
JavaScript
Lapce
ML Console
Metatable
Modsurfer
Replit
Second State
SurrealDB
Wasmer
WebContainers
Zed
fastText

Integrations

AssemblyScript
BlazorPlate
C
CodePal
Extism
Gideros
Helix Editor
Indent
JavaScript
Lapce
ML Console
Metatable
Modsurfer
Replit
Second State
SurrealDB
Wasmer
WebContainers
Zed
fastText

Integrations

AssemblyScript
BlazorPlate
C
CodePal
Extism
Gideros
Helix Editor
Indent
JavaScript
Lapce
ML Console
Metatable
Modsurfer
Replit
Second State
SurrealDB
Wasmer
WebContainers
Zed
fastText
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
Claim V Programming Language and update features and information
Claim V Programming Language and update features and information
Claim WebAssembly and update features and information
Claim WebAssembly and update features and information