This package browser is in early development. Mind the rough edges.

Packages

GNU Guix provides 20318 packages transparently available as pre-built binaries. These pages provide a complete list of the packages. Our continuous integration system shows their current build status (updated November 27, 2022).

mercury 20.06.1

Pure logic programming language

mercury-minimal 20.06.1

Pure logic programming language (used only for bootstrapping dependent Mercury)

cl-screamer 0.0.1-1.ce50614

Nondeterministic programming and constraint propagation

ecl-screamer 0.0.1-1.ce50614

Nondeterministic programming and constraint propagation

extempore 0.8.9

Programming environment for live coding of multimedia

nickle 2.90

Numeric oriented programming language

racket 8.7

Programmable programming language in the Scheme family

r-rglpk 0.6-4

R interface to the GNU Linear Programming Kit

sbcl-screamer 0.0.1-1.ce50614

Nondeterministic programming and constraint propagation

aseba 1.6.0-0.3b35de8

Event-based robot programming tools

cl-40ants-doc 0.1.0-0.7725ff6

Exploratory programming environment and documentation generator

cl-mgl-pax 0.1.0-0.ed82a80

Exploratory programming environment and documentation generator

ecl-40ants-doc 0.1.0-0.7725ff6

Exploratory programming environment and documentation generator

ecl-mgl-pax 0.1.0-0.ed82a80

Exploratory programming environment and documentation generator

font-juliamono 0.043

Monospaced font for programming

glpk 4.65

GNU Linear Programming Kit, supporting the MathProg language

glpk 5.0

GNU Linear Programming Kit, supporting the MathProg language

groovy 3.0.5

Programming language for the JVM

hop 3.2.0-pre1

Multi-tier programming language for the Web 2.0

luajit 2.1.0-beta3-0.6c4826f

Just in time compiler for Lua programming language version 5.1

neko 2.3.0

High-level dynamically typed programming language and virtual machine

noweb 2.12

Literate programming tool

ocaml 4.07.1

The OCaml programming language

ocaml 4.09.0

The OCaml programming language

ocaml 4.14.0

The OCaml programming language

pd 0.52-2

Visual programming language for artistic performances

perl 5.14.4

Implementation of the Perl programming language

perl 5.34.0

Implementation of the Perl programming language

perl-base 5.34.0

Implementation of the Perl programming language

perl-parent 5.34.0

Implementation of the Perl programming language

picolisp 19.12

Interpreter for the PicoLisp programming language

r-promises 1.2.0.1

Abstractions for promise-based asynchronous programming

r-purrr 0.3.5

Functional programming tools

sbcl-40ants-doc 0.1.0-0.7725ff6

Exploratory programming environment and documentation generator

sbcl-mgl-pax 0.1.0-0.ed82a80

Exploratory programming environment and documentation generator

sicp 20180718-2.bda03f7

Structure and Interpretation of Computer Programs

tclx 8.4.1

System programming extensions for Tcl

agda 2.6.2.2

Dependently typed functional programming language and proof assistant

allegro 4.4.3.1

Game programming library

allegro 5.0.11

Game programming library

allegro 5.2.7.0

Game programming library

bennu-game-development 353

Programming language to create games

bennu-game-development-modules 353

Modules for the Bennu Game Development programming language

bigloo 4.3g

Efficient Scheme compiler

chez-web 2.0-1.5fd177f

Hygienic Literate Programming for Chez Scheme

cl-april 1.0-2.93b1004

Array Programming Re-Imagined in Lisp

cl-contextl 1.0.0-2.f4fb3f5

Context-oriented programming for Common Lisp

cl-core-gp 0.1-1.90ec1c4

Common Lisp library for genetic programming

clojure 1.11.1

Lisp dialect running on the JVM

clp 1.17.6

Linear programming solver

cogutil 2.0.3-1.b07b41b

Low-level C++ programming utilities used by OpenCog components

colobot 0.2.0-alpha

Educational programming strategy game

dezyne 2.16.2

Programming language with verifyable formal semantics

ecl-april 1.0-2.93b1004

Array Programming Re-Imagined in Lisp

ecl-contextl 1.0.0-2.f4fb3f5

Context-oriented programming for Common Lisp

ecl-core-gp 0.1-1.90ec1c4

Common Lisp library for genetic programming

elm 0.19.1

Programming language for Web applications

elm-compiler 0.19.1

Programming language for Web applications

emacs-literate-calc-mode 0.1-2.ba7d221

Literate programming for Emacs Calc

erlang 25.0.4

The Erlang programming language

exercism 3.1.0

Mentored learning for programming languages

folders 0.0.8

Structural programming language

font-fira-code 6.2

Monospaced font with programming ligatures

font-sarasa-gothic 0.37.4

CJK programming font based on Iosevka and Source Han Sans

ghc-logict 0.7.1.0

Backtracking logic-programming monad

ghc-monad-par 0.3.5

Haskell library for parallel programming based on a monad

ghc-parallel 3.2.2.0

Parallel programming library

ghc-purescript-cst 0.4.0.0

PureScript Programming Language Concrete Syntax Tree

ghc-shelly 1.9.0

Shell-like (systems) programming in Haskell

gnu-c-manual 0.2.5

Reference manual for the C programming language

go 1.14.15

Compiler and libraries for Go, a statically-typed language

go 1.16.15

Compiler and libraries for Go, a statically-typed language

go 1.17.11

Compiler and libraries for Go, a statically-typed language

go 1.18.6

Compiler and libraries for Go, a statically-typed language

go 1.19.1

Compiler and libraries for Go, a statically-typed language

go 1.4-bootstrap-20171003

Compiler and libraries for Go, a statically-typed language

go-github-com-aws-aws-sdk-go 1.36.18

The official AWS SDK for the Go programming language

go-github-com-golang-freetype 0.0.0-1.e2365df

Freetype font rasterizer in the Go programming language

go-golang-org-x-tools 0.1.3-0.8b92790

Tools that support the Go programming language

go-std 1.14.15

Cached standard library build for Go

go-std 1.16.15

Cached standard library build for Go

go-std 1.17.11

Cached standard library build for Go

go-std 1.18.6

Cached standard library build for Go

go-std 1.19.1

Cached standard library build for Go

guile-goblins 0.8

Distributed programming environment for Guile

haxe 4.2.5

Multi-target universal programming language

hugs Sep2006

Functional programming system based on Haskell 98

janet 1.25.1

Functional, imperative and embeddable programming language

java-aopalliance 1.0

Aspect-Oriented Programming

julia-mlstyle 0.4.10

Julia functional programming infrastructures

laby 0.7.0

Programming game

ldc 1.27.1

LLVM-based compiler for the D programming language

ldns 1.8.3

DNS library that facilitates DNS tool programming

lean 3.41.0

Theorem prover and programming language

libnftnl 1.2.0

Netlink programming interface to the Linux nf_tables subsystem

libnftnl 1.2.3

Netlink programming interface to the Linux nf_tables subsystem

lpsolve 5.5.2.5

Mixed integer linear programming (MILP) solver

myrddin 0.3.1

Compiler and tools for the Myrddin programming language

nginx-lua-module 0.10.16

NGINX module for Lua programming language support

nim 1.6.6

Statically-typed, imperative programming language