Open Hub
Open Hub

Tags : Browse Projects

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

NumPy

Compare

  Analyzed about 18 hours 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]

448K lines of code

219 current contributors

2 days since last commit

338 users on Open Hub

Very High Activity
4.71667
   
0 Reviews
I Use This
Mostly written in C
Licenses: No declared licenses
Tags complexnumbers fast functional math mathematics mathlibrary matrices matrix numerical python scientific vectors

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]

849K lines of code

152 current contributors

8 days since last commit

236 users on Open Hub

Very High Activity
4.65517
   
1 Review
I Use This
Mostly written in Haskell
Licenses: BSD-3-Clause
Tags compiler concurrency development functional ghc haskell haskell2010 haskell98 interpreter language parallel programming 3 more...

Scala

Compare

  Analyzed 3 days ago

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.

1.48M lines of code

98 current contributors

4 days since last commit

235 users on Open Hub

Very High Activity
4.82192
   
0 Reviews
I Use This
Mostly written in Scala
Licenses: BSD-3-Clause
Tags compiler dotnet functional interpreter java jvm language object_oriented objectoriented programming_language

Steel Bank Common Lisp

Compare

  Analyzed about 2 hours 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.

612K lines of code

18 current contributors

2 days since last commit

130 users on Open Hub

Very High Activity
4.70588
   
0 Reviews
I Use This
Mostly written in Lisp
Licenses: BSD-3-Clause, Public_Do...
Tags ai coding common_lisp compiler development functional language lisp programming sbcl

OCaml

Compare

  Analyzed 1 day 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]

508K lines of code

76 current contributors

3 days since last commit

88 users on Open Hub

Very High Activity
4.66667
   
0 Reviews
I Use This
Mostly written in OCaml
Licenses: lgpl
Tags caml compiler functional language ml ocaml programming programming_language project_management

GNU CLISP - an ANSI Common Lisp

Compare

Claimed by GNU Analyzed about 8 hours 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.62M lines of code

0 current contributors

about 1 month since last commit

55 users on Open Hub

Very Low Activity
4.4375
   
0 Reviews
I Use This
Mostly written in C
Licenses: gpl
Tags ai build_tools c++ clisp coding common_lisp compiler cross-platform development dynamic functional gnu 16 more...

NixOS

Compare

  Analyzed about 24 hours 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]

4.19M lines of code

1,214 current contributors

2 days since last commit

47 users on Open Hub

Very High Activity
5.0
 
0 Reviews
I Use This
Mostly written in Nix
Licenses: mit
Tags declarative distribution functional linux nix nixops nixos os package packagemanagement packages

Racket

Compare

  Analyzed 6 months 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.27M lines of code

115 current contributors

6 months since last commit

40 users on Open Hub

Activity Not Available
4.21429
   
0 Reviews
I Use This
Mostly written in Racket
Licenses: lgpl21
Tags closure compiler concurrency concurrentprogramming continuations cross-platform development dynamic dynamiclanguages dynamic-typing functional garbage-collection 30 more...

Nix

Compare

  Analyzed 1 day 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.

129K lines of code

64 current contributors

3 days since last commit

26 users on Open Hub

Very High Activity
5.0
 
0 Reviews
I Use This
Mostly written in C++
Licenses: LGPLv2_1
Tags cross-platform declarative functional nix nixops nixos packagemanagement package-manager packagemanager

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]

354K lines of code

74 current contributors

3 days since last commit

20 users on Open Hub

Very High Activity
4.875
   
0 Reviews
I Use This
Mostly written in OCaml
Licenses: lgpl
Tags coq extraction functional functional_language language logic mathematics programming proof-assistant proof_assistant proving theorem 1 more...