Plangs!
Menu
Sun

Nominal

Compatibility between types is determined by explicit declarations or names, rather than structure.
Details

Plangs

NameDescription
.NETCross-platform, open-source framework known for supporting multiple programming paradigms.
AdaHigh-level, structured, and object-oriented language with strong typing, used for reliability in mission-critical systems.
AgdaDependently typed functional programming language and proof assistant used for writing and verifying proofs.
ASP.NETServer-side web-application framework by Microsoft for building dynamic websites and services using the .NET runtime.
BeefHigh-performance language for real-time applications with manual memory management.
CGeneral-purpose language foundational in systems and application programming.
C#Versatile high-level language supporting multiple programming paradigms.
C++General-purpose language designed by Bjarne Stroustrup, supporting multiple programming paradigms.
CrystalCompiled, statically-typed language with Ruby-like syntax and type inference.
GNATFree Ada compiler in the GCC suite, supporting all Ada versions.
GoStatically typed, compiled language with memory safety and CSP-style concurrency, designed at Google.
HaxeHigh-level cross-platform language and compiler for multiple platforms.
HotSpot VMJava virtual machine known for its just-in-time compilation and adaptive optimization techniques.
InkoLanguage for efficient, safe concurrent software, with features like static typing and type-safe concurrency.
JavaHigh-level language known for its portability and extensive ecosystem.
JuliaA dynamic language designed for numerical and scientific computing with strong support for parallel computing and multiple dispatch.
MojoModular language blending Python's syntax with C-like performance.
Mono.NET compatible software framework.
RustGeneral-purpose programming language emphasizing performance, type safety, and concurrency.
Visual BasicMulti-paradigm language developed by Microsoft for Windows applications.