Wyvern is a new programming language designed to help developers be highly productive when writing high-assurance applications. The first major innovation in Wyvern is type-specific languages, a feature that allows programmers to create literals of a given type (e.g. a SQLQuery type) in a language appropriate to that type (e.g. SQL). We are currently working on the Wyvern object model and on providing architects with more architectural control.
Swift is a programming language for iOS, OS X, watchOS and tvOS apps that builds on the best of C and Objective-C, without the ...
Scala is a modern multi-paradigm programming language based on the Java Virtual Machine (JVM) designed to express common progr ...
C# is a multi-paradigm programming language encompassing strong typing, imperative, declarative, functional, generic, object-o ...
Haskell is an advanced purely-functional programming language. An open-source product of more than twenty years of cutting-edg ...
Ruby is a dynamic, reflective, general purpose object-oriented programming language that combines syntax inspired by Perl with ...
JavaScript (sometimes shortened to JS) is a lightweight, interpreted, object-oriented language with first-class functions, mos ...
Dart (originally called Dash) is a Web programming language developed by Google. It was unveiled at the GOTO conference in Aar ...
CoffeeScript is a little language that compiles into JavaScript. Underneath all those awkward braces and semicolons, JavaScrip ...
Nim is a statically typed, imperative programming language with a powerful macro system that tries to give the programmer ulti ...
Lua is a powerful, fast, lightweight, embeddable scripting language. Lua combines simple procedural syntax with powerful data ...
Perl is a high-level, general-purpose, interpreted, dynamic programming language with over 22 years of development. The Perl l ...
Python is an interpreted, interactive, object-oriented, extensible programming language. It provides an extraordinary combinat ...
Node.js is a platform built on Chrome's JavaScript runtime for easily building fast, scalable network applications. Node.js u ...
Statically typed programming language targeting the JVM and JavaScript 100% interoperable with Java™
TypeScript is a language for application-scale JavaScript development. It is a typed superset of JavaScript that compiles to p ...