Tags : Browse Projects

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

NumPy

Compare

  Analyzed 3 days ago

NumPy is the fundamental package for scientific computing with Python. It contains among other things: a powerful N-dimensional array object sophisticated (broadcasting) functions tools for integrating C/C++ and Fortran code useful linear algebra, Fourier transform, and random number ... [More] capabilities Besides its obvious scientific uses, NumPy can also be used as an efficient multi-dimensional container of generic data. Arbitrary data-types can be defined. This allows NumPy to seamlessly and speedily integrate with a wide variety of databases. NumPy is licensed under the BSD license, enabling reuse with few restrictions. [Less]

416K lines of code

219 current contributors

4 days since last commit

338 users on Open Hub

Very High Activity
4.71667
   
I Use This
Licenses: No declared licenses

GHC

Compare

  Analyzed 1 day ago

Haskell is an advanced purely functional programming language. The product of more than twenty years of cutting edge research, it allows rapid development of robust, concise, correct software. With strong support for integration with other languages, built-in concurrency, debuggers, profilers, rich ... [More] libraries and an active community, Haskell makes it easier to produce flexible, maintainable high-quality software. GHC is a state-of-the-art, open source, compiler and interactive environment for Haskell. [Less]

696K lines of code

152 current contributors

5 days since last commit

237 users on Open Hub

Very High Activity
4.65517
   
I Use This

Scala

Compare

  No analysis available

Scala is a general purpose programming language designed to express common programming patterns in a concise, elegant, and type-safe way. It smoothly integrates features of object-oriented and functional languages. It is also fully interoperable with Java.

0 lines of code

98 current contributors

0 since last commit

235 users on Open Hub

Activity Not Available
4.82192
   
I Use This
Mostly written in language not available
Licenses: BSD-3-Clause

Steel Bank Common Lisp

Compare

  Analyzed 2 days ago

Steel Bank Common Lisp, aka SBCL, is an open source compiler and runtime system for ANSI Common Lisp. It provides an interactive environment including an integrated native compiler, a debugger, and many extensions.

565K lines of code

18 current contributors

3 days since last commit

130 users on Open Hub

Very High Activity
4.70588
   
I Use This
Licenses: BSD-3-Clause, Public_Do...

OCaml

Compare

  Analyzed 2 days ago

Caml is a general-purpose programming language, designed with program safety and reliability in mind. It is very expressive, yet easy to learn and use. Caml supports functional, imperative, and object-oriented programming styles. It has been developed and distributed by INRIA, France's national ... [More] research institute for computer science, since 1985. The OCaml system is the main implementation of the Caml language. It features a powerful module system and a full-fledged object-oriented layer. It comes with a native-code compiler that supports numerous architectures, for high performance; a bytecode compiler, for increased portability; and an interactive loop, for experimentation and rapid development. [Less]

465K lines of code

76 current contributors

4 days since last commit

88 users on Open Hub

Very High Activity
4.66667
   
I Use This

GNU CLISP - an ANSI Common Lisp

Compare

Claimed by GNU Analyzed 2 days ago

GNU CLISP is an ANSI Common Lisp implementation with an interpreter, compiler, debugger, object system (CLOS, MOP), sockets, fast bignums, arbitrary precision floats, and foreign language interface which runs on most UNIXes and Win32.

1.57M lines of code

0 current contributors

8 months since last commit

55 users on Open Hub

Very Low Activity
4.4375
   
I Use This

NixOS

Compare

  Analyzed 3 months ago

NixOS is a Linux distribution with a unique approach to package and configuration management. Built on top of the Nix package manager, it is completely declarative, makes upgrading systems reliable, and has many other advantages. NixOS has a completely declarative approach to configuration ... [More] management: you write a specification of the desired configuration of your system in NixOS’s modular language, and NixOS takes care of making it happen. NixOS has atomic upgrades and rollbacks. It’s always safe to try an upgrade or configuration change: if things go wrong, you can always roll back to the previous configuration. Declarative specs and safe upgrades make NixOS a great system for DevOps use. [Less]

2.79M lines of code

1,214 current contributors

3 months since last commit

42 users on Open Hub

Activity Not Available
5.0
 
I Use This

Racket

Compare

  Analyzed 4 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

6 days since last commit

40 users on Open Hub

Very High Activity
4.21429
   
I Use This

Nix

Compare

  Analyzed 2 days ago

The Purely Functional Package Manager Nix is a powerful package manager for Linux and other Unix systems that makes package management reliable and reproducible. It provides atomic upgrades and rollbacks, side-by-side installation of multiple versions of a package, multi-user package management and easy setup of build environments.

85.2K lines of code

64 current contributors

4 days since last commit

22 users on Open Hub

Very High Activity
5.0
 
I Use This

Coq proof assistant

Compare

  Analyzed 3 days ago

Coq is a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows: * to define functions or predicates, * to state mathematical theorems and software specifications, * to develop interactively formal proofs of these theorems, * to ... [More] check these proofs by a relatively small certification "kernel". [Less]

492K lines of code

74 current contributors

4 days since last commit

20 users on Open Hub

Very High Activity
4.875
   
I Use This