program ‐ Nix Packages ‐ Searchix

Search Nix packages and options from NixOS, Darwin, Home Manager, Nix Packages and NUR

Indexing last ran 11 hours ago, will run again in 13 hours.

Nix Packages search

Attribute	Description
perlPackages.perl	Standard implementation of the Perl 5 programming language
tclPackages.tk	Widget toolkit that provides a library of basic elements for building a GUI in many different programming languages
perl5Packages.meta	Meta-programming API
python27Full	High-level dynamically-typed programming language
agda	A dependently typed functional programming language and proof assistant
_0xproto	Free and Open-source font for programming
perl5Packages.perl	Standard implementation of the Perl 5 programming language
udev-gothic-nf	Programming font that combines BIZ UD Gothic, JetBrains Mono and nerd-fonts
eltclsh	Interactive shell for the TCL programming language based on editline
perl	Standard implementation of the Perl 5 programming language
haskellPackages.DP	Pragmatic framework for dynamic programming
ruby_3_4	Object-oriented language for quick and easy programming
ruby_3_5	Object-oriented language for quick and easy programming
haskellPackages.H	The Haskell/R mixed programming environment
haskellPackages.hhp	Happy Haskell Programming
idris2	Purely functional programming language with first class types
nerd-fonts.fira-code	Nerd Fonts: Programming ligatures, extension of Fira Mono font, enlarged operators
texlivePackages.web	The original literate programming system
haskellPackages.lit	A simple tool for literate programming
haskellPackages.bot	bots for functional reactive programming
haskellPackages.ewe	An interpreter for EWE programming language
haskellPackages.msh	Object-Oriented Programming in Haskell
mononoki	Font for programming and code review
miranda	Compiler for Miranda -- a pure, non-strict, polymorphic, higher order functional programming language
perlPackages.AnyEvent	DBI of event loop programming
perlPackages.IOAsync	Asynchronous event-driven programming
ruby_4_0	Object-oriented language for quick and easy programming
nerd-fonts.envy-code-r	Nerd Fonts: Fully-scalable monospaced font designed for programming and command prompts
haskellPackages.MIP	Library for using Mixed Integer Programming (MIP)
haskellPackages.GTALib	A library for GTA programming
haskellPackages.DysFRP	dysFunctional Reactive Programming
haskellPackages.peg	a lazy non-deterministic concatenative programming language
haskellPackages.CPL	An interpreter of Hagino's Categorical Programming Language (CPL)
haskellPackages.laop	Matrix programming library
haskellPackages.ion	EDSL for concurrent, realtime, embedded programming on top of Ivory
haskellPackages.axel	The Axel programming language
haskellPackages.kure	Combinators for Strategic Programming
libcsptr	Smart pointer constructs for the (GNU) C programming language
perl5Packages.IOAsync	Asynchronous event-driven programming
perl5Packages.AnyEvent	DBI of event loop programming
haskellPackages.RepLib	Generic programming library with representation types
haskellPackages.ctpl	A programming language for text modification
haskellPackages.gpah	Generic Programming Use in Hackage
haskellPackages.hoop	Object-Oriented Programming in Haskell
haskellPackages.flay	Generic programming for higher-kinded types
haskellPackages.cflp	Constraint Functional-Logic Programming in Haskell
haskellPackages.slim	Functional reactive user interface programming
haskellPackages.yoko	Generic Programming with Disbanded Data Types
notonoto	Programming font that combines Noto Sans Mono and Noto Sans JP
perlPackages.BioExtAlign	Write Perl Subroutines in Other Programming Languages
scala_2_13	General purpose programming language
scala_2_12	General purpose programming language
haskellPackages.GPipe	Typesafe functional GPU graphics programming
faustlsp	Language Server Protocol (LSP) implementation for the Faust programming language
haskellPackages.g2q	G2Q allows constraint programming, via writing Haskell predicates
haskellPackages.YFrob	Yampa-based library for programming robots
haskellPackages.auto	Denotative, locally stateful programming DSL & platform
haskellPackages.kbq-gu	Rpoku spoken word programming language
haskellPackages.ntha	A tiny statically typed functional programming language
haskellPackages.psc-ide	Language support for the PureScript programming language
idrisPackages.idris	Functional Programming Language with Dependent Types
notonoto-35	Programming font that combines Noto Sans Mono and Noto Sans JP
sarasa-gothic	CJK programming font based on Iosevka and Source Han Sans
haskellPackages.HasChor	Functional choreographic programming in Haskell
haskellPackages.HyloDP	A package for solving dynamic programming problems in Haskell
haskellPackages.L-seed	Plant growing programming game
haskellPackages.cuda	FFI binding to the CUDA interface for programming NVIDIA GPUs
idrisPackages.idris-no-deps	Functional Programming Language with Dependent Types
llvmPackages.libclc	Implementation of the library requirements of the OpenCL C programming language
perlPackages.Inline	Write Perl Subroutines in Other Programming Languages
notonoto-hs	Programming font that combines Noto Sans Mono and Noto Sans JP
QuadProgpp	C++ library for Quadratic Programming
haskellPackages.Dao	Dao is meta programming language with its own built-in interpreted language, designed with artificial intelligence applications in mind
haskellPackages.glpk-hs	Comprehensive GLPK linear programming bindings
haskellPackages.dao	Dao is meta programming language with its own built-in interpreted language, designed with artificial intelligence applications in mind
haskellPackages.WebCont	Continuation based web programming for Happstack
haskellPackages.TicTacToe	A sub-project (exercise) for a functional programming course
llvmPackages_22.libclc	Implementation of the library requirements of the OpenCL C programming language
llvmPackages_21.libclc	Implementation of the library requirements of the OpenCL C programming language
notonoto-hs-35	Programming font that combines Noto Sans Mono and Noto Sans JP
perl5Packages.BioExtAlign	Write Perl Subroutines in Other Programming Languages
perl540Packages.meta	Meta-programming API
perl538Packages.meta	Meta-programming API
haskellPackages.Agda	A dependently typed functional programming language and proof assistant
haskellPackages.hydra	Graph programming language
haskellPackages.WashNGo	WASH is a family of EDSLs for programming Web applications in Haskell
haskellPackages.alloy	Generic programming library
haskellPackages.snail	A programming language with no semantics
llvmPackages_18.libclc	Implementation of the library requirements of the OpenCL C programming language
llvmPackages_19.libclc	Implementation of the library requirements of the OpenCL C programming language
llvmPackages_20.libclc	Implementation of the library requirements of the OpenCL C programming language
nerd-fonts.commit-mono	Nerd Fonts: An anonymous and neutral programming typeface
texlivePackages.plweb	Literate Programming for Prolog with LaTeX
haskellPackages.ivory	Safe embedded C programming
haskellPackages.wires	Functional reactive programming library
haskellPackages.spade	A simple programming and debugging environment
haskellPackages.moffy	Monadic Functional Reactive Programming
perl5Packages.Inline	Write Perl Subroutines in Other Programming Languages
haskellPackages.Jikka	A transpiler from Python to C++ for competitive programming
haskellPackages.forml	A statically typed, functional programming language