About

Fortran has been designed from the ground up for computationally intensive applications in science and engineering. Mature and battle-tested compilers and libraries allow you to write code that runs close to the metal, fast. Fortran is statically and strongly typed, which allows the compiler to catch many programming errors early on for you. This also allows the compiler to generate efficient binary code. Fortran is a relatively small language that is surprisingly easy to learn and use. Expressing most mathematical and arithmetic operations over large arrays is as simple as writing them as equations on a whiteboard. Fortran is a natively parallel programming language with intuitive array-like syntax to communicate data between CPUs. You can run almost the same code on a single CPU, on a shared-memory multicore system, or on a distributed-memory HPC or cloud-based system.

About

TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed ones. It's based on the idea that the best way to describe things precisely is with simple mathematics. TLA+ and its tools are useful for eliminating fundamental design errors, which are hard to find and expensive to correct in code.

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

A simple command-line tool to collect test coverage information from Dart VM tests. It is useful if you need to generate coverage reports locally during development.

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

DevOps teams seeking a high-performance parallel Programming Language solution

Audience

Developers

Audience

Developers interested in a language for building maintainable programs

Audience

Developers in need of a powerful Code Coverage solution

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

No images available

Screenshots and Videos

Screenshots and Videos

Pricing

Free
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

Fortran
United States
fortran-lang.org

Company Information

TLA+
lamport.azurewebsites.net/tla/tla.html

Company Information

V Programming Language
United States
vlang.io

Company Information

pub.dev
pub.dev/packages/test_coverage

Alternatives

Alternatives

Ada

Ada

AdaCore

Alternatives

Alternatives

Swift

Swift

Apple
pytest-cov

pytest-cov

Python
Java

Java

Oracle
D

D

D Language Foundation
Swift

Swift

Apple
Zig

Zig

Zig Software Foundation
JCov

JCov

OpenJDK

Categories

Categories

Categories

Categories

Integrations

Arm MAP
CodeConvert
Codecov
Coverity Static Analysis
DeepSeek Coder
Devika
FOSSA
GPT Pilot
Git
GitHub
Intel oneAPI HPC Toolkit
JavaScript
Notepad++
Overleaf
PMD
Refraction
SwapCode AI
Typora
UEStudio
Zed

Integrations

Arm MAP
CodeConvert
Codecov
Coverity Static Analysis
DeepSeek Coder
Devika
FOSSA
GPT Pilot
Git
GitHub
Intel oneAPI HPC Toolkit
JavaScript
Notepad++
Overleaf
PMD
Refraction
SwapCode AI
Typora
UEStudio
Zed

Integrations

Arm MAP
CodeConvert
Codecov
Coverity Static Analysis
DeepSeek Coder
Devika
FOSSA
GPT Pilot
Git
GitHub
Intel oneAPI HPC Toolkit
JavaScript
Notepad++
Overleaf
PMD
Refraction
SwapCode AI
Typora
UEStudio
Zed

Integrations

Arm MAP
CodeConvert
Codecov
Coverity Static Analysis
DeepSeek Coder
Devika
FOSSA
GPT Pilot
Git
GitHub
Intel oneAPI HPC Toolkit
JavaScript
Notepad++
Overleaf
PMD
Refraction
SwapCode AI
Typora
UEStudio
Zed
Claim Fortran and update features and information
Claim Fortran and update features and information
Claim TLA+ and update features and information
Claim TLA+ and update features and information
Claim V Programming Language and update features and information
Claim V Programming Language and update features and information
Claim test_coverage and update features and information
Claim test_coverage and update features and information