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 28 days 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]

690K lines of code

640 current contributors

about 1 month since last commit

47 users on Open Hub

Very High Activity
4.77778
   
I Use This

Racket

Compare

  Analyzed 29 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.

2.68M lines of code

115 current contributors

29 days since last commit

39 users on Open Hub

Very High Activity
4.21429
   
I Use This

Rascal MPL

Compare

  Analyzed 20 days ago

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.

329K lines of code

12 current contributors

21 days since last commit

5 users on Open Hub

Moderate Activity
5.0
 
I Use This

Nim-lang

Compare

  Analyzed 20 days 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]

278K lines of code

182 current contributors

20 days since last commit

4 users on Open Hub

High Activity
5.0
 
I Use This

shedskin

Compare

  Analyzed about 17 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]

69.3K lines of code

4 current contributors

8 months since last commit

2 users on Open Hub

Very Low Activity
0.0
 
I Use This

Whiley Compiler (WyC)

Compare

Claimed by Whiley Analyzed about 1 month 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.

27.8K lines of code

1 current contributors

8 months since last commit

1 users on Open Hub

Activity Not Available
5.0
 
I Use This

Herschel

Compare

  Analyzed 6 days 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

about 4 years since last commit

1 users on Open Hub

Inactive
0.0
 
I Use This

icarus-lang

Compare

  Analyzed 10 days 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.8K lines of code

1 current contributors

9 months since last commit

1 users on Open Hub

Very Low Activity
0.0
 
I Use This

Carp

Compare

  Analyzed 10 days ago

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

49.1K lines of code

21 current contributors

13 days since last commit

1 users on Open Hub

High Activity
0.0
 
I Use This

Lydrige

Compare

  Analyzed 10 days ago

Lydrige is a simple statically typed interpreted programming language inspired by lisp. It supports all major platforms including Windows, Mac, Linux, and FreeBSD and is written in C. It is a work-in-progress. It doesn't support many things yet, but it does support: functions, variables, arrays ... [More] (called lists, they are not dynamic), input from user, outputting to the screen (printing), strings and chars, etc. [Less]

28.3K lines of code

0 current contributors

over 1 year since last commit

0 users on Open Hub

Very Low Activity
5.0
 
I Use This