Select a tag to browse associated projects and drill deeper into the tag cloud.
NumPy
Analyzed about 8 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
Licenses:
No declared licenses
GHC
Analyzed about 8 hours 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
Licenses:
BSD-3-Clause
Scala
Analyzed about 1 year 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.
Licenses:
BSD-3-Clause
Steel Bank Common Lisp
S
Analyzed over 1 year 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.
Licenses:
BSD-3-Clause, Public_Do...
OCaml
Analyzed about 9 hours 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
GNU CLISP - an ANSI Common Lisp
Claimed by GNU Analyzed 1 day 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.
NixOS
Analyzed 2 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
Racket
Analyzed 3 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.
Nix
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.
Licenses:
LGPLv2_1
Coq proof assistant
Analyzed 1 day 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