Pinned Loading
-
-
mirror-hackage
mirror-hackage Publicdownload all hackage packages (including metadata/cabal revisions) ready to be served with http server
Haskell 2
-
simple MQTT publish/subscribe over T...
simple MQTT publish/subscribe over TLS shebang programs written in Haskell 1#! /usr/bin/env nix-shell
2#! nix-shell -I nixpkgs=https://github.com/NixOS/nixpkgs/archive/cbe419ed4c8f98bd82d169c321d339ea30904f1f.tar.gz --tarball-ttl 4294967295
3#! nix-shell -p "haskellPackages.ghcWithPackages (p: with p; [net-mqtt data-default])"
4#! nix-shell -i "runhaskell -Wall"
5 -
uboot nix derivation for Rock64 with...
uboot nix derivation for Rock64 with CONFIG_BAUDRATE=115200 1{ lib, buildUBoot, fetchFromGitHub, armTrustedFirmwareRK3328 }:
2let
3rkbin = fetchFromGitHub {
4owner = "ayufan-rock64";
5repo = "rkbin";
-
haskell-diagrams simple patchwork 4
haskell-diagrams simple patchwork 4 1#! /usr/bin/env nix-shell
2#! nix-shell -i runghc -p "haskellPackages.ghcWithPackages (pkgs: with pkgs; [ diagrams-cairo (diagrams.overrideAttrs (def: { buildInputs = def.buildInputs ++ [ diagrams-cairo ]; configureFlags = def.configureFlags ++ [ \"-f cairo\" ]; })) ])"
34{-# LANGUAGE NoMonomorphismRestriction #-}
5{-# LANGUAGE FlexibleContexts #-}
-
haskell-aws-lambda-sam-nix
haskell-aws-lambda-sam-nix PublicForked from cotrone/haskell-aws-lambda-sam-nix
Nix 1
19 contributions in the last year
Day of Week | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | |||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More