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