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
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
haskellPackages.angle	A small, general-purpose programming language
haskellPackages.Frank	An experimental programming language with typed algebraic effects
haskellPackages.HSGEP	Gene Expression Programming evolutionary algorithm in Haskell
haskellPackages.app-lens	applicative (functional) bidirectional programming beyond composition chains
haskellPackages.disco	Functional programming language for teaching discrete math
haskellPackages.limp-cbc	bindings for integer linear programming solver Coin/CBC
haskellPackages.lingo	File extension based programming language detection
haskellPackages.mappy	A functional programming language focused around maps
haskellPackages.yices	Haskell programming interface to Yices SMT solver
haskellPackages.rhine	Functional Reactive Programming with type-level clocks
haskellPackages.omega	A purely functional programming language and a proof system
haskellPackages.Yampa	Elegant Functional Reactive Programming Language for Hybrid Systems
haskellPackages.atomo	A highly dynamic, extremely simple, very fun programming language
haskellPackages.apecs	Fast Entity-Component-System library for game programming
idrisPackages.yampa	Idris implementation of Yampa FRP library as described in Reactive Programming through Dependent Types
haskellPackages.GPipe-Core	Typesafe functional GPU graphics programming
haskellPackages.LPFP-core	Code for the book Learn Physics with Functional Programming
haskellPackages.MiniAgda	A toy dependently typed programming language with type-based termination
haskellPackages.idris	Functional Programming Language with Dependent Types
haskellPackages.highs-lp	Linear Programming using HiGHS and comfort-array
haskellPackages.exp-pairs	Linear programming over exponent pairs
haskellPackages.Craft3e	Code for Haskell: the Craft of Functional Programming, 3rd ed
haskellPackages.shady-gen	Functional GPU programming - DSEL & compiler
haskellPackages.meta-misc	Utility library providing miscellaneous meta-programming utilities
haskellPackages.monad-par	A library for parallel programming based on a monad
monocraft	Programming font based on the typeface used in Minecraft
texlivePackages.protex	Literate programming package