Select a tag to browse associated projects and drill deeper into the tag cloud.
Rust (programming language)
Claimed by Mozilla Foundation Analyzed about 19 hours ago
Rust is a systems programming language that runs blazingly fast, prevents almost all crashes, and eliminates data races.
It provides both high-level features and low-level control: algebraic data types, pattern matching, closures, type inference, zero-cost abstractions, guaranteed memory safety
Licenses:
apache_2, mit
Racket
Analyzed 1 day ago
Programming language suitable for implementation tasks ranging from scripting to application development, and supporting the creation of new programming languages. It includes the DrRacket programming environment, a virtual machine with a just-in-time compiler, and various other tools.
Rascal MPL
No analysis available
Rascal is a domain specific language for source code analysis and manipulation a.k.a. meta-programming. It is currently being developed and tested at CWI. No formal release has been made yet, but there are alpha quality previews available.
Mostly written in language not available
Licenses:
eclipse
Nim-lang
Analyzed over 1 year ago
Nim (formerly known as "Nimrod") is a statically typed, imperative programming language that tries to give the programmer ultimate power without compromises on runtime efficiency. This means it focuses on compile-time mechanisms in all their various forms.
Beneath a nice infix/indentation based
shedskin
S
Analyzed about 3 hours ago
Shed Skin is an experimental compiler, that can translate pure, but implicitly statically typed Python programs into optimized C++. It can generate stand-alone programs or extension modules that can be imported and used in larger Python programs.
Besides the typing restriction, programs cannot
Licenses:
gpl3_or_l...
icarus-lang
Analyzed about 7 hours ago
Programming language designed as an experiment to explore static verification of mutation contracts.
A hybrid imperative/functional language designed to explore the boundary between these 2 paradigms - trying to port some of the lessons and advantages from functional programming back to a more
Herschel
Analyzed about 17 hours ago
Heather is an general-purpose multiparadigm programming language. It is strongly typed, offering type inference and parametric polymorphism ("generics"). It is consequently object oriented (everything is a object, even functions), while its consequent multiple dispatch approach keeps a strong
Licenses:
BSD-3-Clause
Whiley Compiler (WyC)
Claimed by Whiley Analyzed 1 day ago
Whiley is a programming language particularly suited to safety-critical systems. It is a hybrid object-oriented and functional programming language which employs extended static checking to eliminate errors at compile time, including divide-by-zero, array out-of-bounds and null dereference errors.
Licenses:
BSD-3-Clause
Carp
Analyzed about 2 hours ago
A statically typed lisp, without a GC, for high performance applications.
Licenses:
mozilla_p...
Hare Language
Analyzed 1 day ago
Hare is a systems programming language designed to be simple, stable, and robust. Hare uses a static type system, manual memory management, and a minimal runtime. It is well-suited to writing operating systems, system tools, compilers, networking software, and other low-level, high performance tasks.
Licenses:
gpl3, mozilla_p...