Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

Rust (programming language)

Compare

Claimed by Mozilla Foundation Analyzed about 23 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 ... [More] , optional garbage collection, concurrency without data races, minimal runtime, efficient FFI. [Less]

1.83M lines of code

640 current contributors

2 days since last commit

54 users on Open Hub

Very High Activity
4.78947
   
I Use This

Racket

Compare

  Analyzed 2 days 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.

3.22M lines of code

115 current contributors

3 days since last commit

40 users on Open Hub

Very High Activity
4.21429
   
I Use This

Rascal MPL

Compare

  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.

0 lines of code

12 current contributors

0 since last commit

5 users on Open Hub

Activity Not Available
5.0
 
I Use This
Mostly written in language not available
Licenses: eclipse

Nim-lang

Compare

  Analyzed 3 months 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 ... [More] syntax with a powerful (AST based, hygienic) macro system lies a semantic model that supports a soft realtime GC on thread local heaps. Asynchronous message passing is used between threads, so no "stop the world" mechanism is necessary. An unsafe shared memory heap is also provided for the increased efficiency that results from that model. [Less]

77.8K lines of code

182 current contributors

3 months since last commit

5 users on Open Hub

Activity Not Available
5.0
 
I Use This

shedskin

Compare

  Analyzed about 9 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 ... [More] freely use the Python standard library (although about 20 common modules, such as random and re, are currently supported). Also, not all Python features, such as nested functions and variable numbers of arguments, are supported (see the tutorial for details). For a set of 44 non-trivial test programs (at over 10,000 lines in total (sloccount)), measurements show a typical speedup of 2-40 times over Psyco, and 2-220 times over CPython. Because Shed Skin is still in an early stage of development, however, many other programs will not compile out-of-the-box. Shed Skin consists of only 5,300 lines of Python code (sloccount), and about 16,000 lines of C++ code (implementation of builtins and library modules). Unfortunately, there is still only one active developer, so please consider joining the project! [Less]

88.9K lines of code

4 current contributors

20 days since last commit

2 users on Open Hub

High Activity
0.0
 
I Use This

icarus-lang

Compare

  Analyzed about 6 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 ... [More] traditional imperative style. Allows controlled mutation and aliasing, but only when both caller and callee agree to it. No global mutable state. [Less]

35.9K lines of code

1 current contributors

about 5 years since last commit

2 users on Open Hub

Inactive
0.0
 
I Use This

Herschel

Compare

  Analyzed 1 day 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 ... [More] functional touch. The object model is class-oriented, supporting multiple inheritance as well as the separation of types ("protocols", "interfaces") and classes. The grammar is regular, small, and (mostly) context free. In particular it can be parsed without symbol tables, and does not require a special preprocessor since it offers powerful hygienic macros as part of the language and special support for conditional compilation. [Less]

107K lines of code

0 current contributors

over 8 years since last commit

1 users on Open Hub

Inactive
0.0
 
I Use This

Whiley Compiler (WyC)

Compare

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.

33.8K lines of code

1 current contributors

over 1 year since last commit

1 users on Open Hub

Very Low Activity
5.0
 
I Use This

Carp

Compare

  Analyzed about 3 hours ago

A statically typed lisp, without a GC, for high performance applications.

25.8K lines of code

21 current contributors

about 1 year since last commit

1 users on Open Hub

Very Low Activity
0.0
 
I Use This

Hare Language

Compare

  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.

24.4K lines of code

0 current contributors

5 days since last commit

0 users on Open Hub

High Activity
0.0
 
I Use This
Licenses: gpl3, mozilla_p...