nc6 Goto Github PK

.spacemacs.d

My spacemacs configuration.

aeson-schema

Haskell JSON schema validator and parser generator

aura

A purely functional package manager for Arch Linux and the AUR, written in Haskell.

cabal2nix

Generate Nix build instructions from a Cabal file

cabin

Cabal binary tool

canonical-json

Canonical JSON for signing and hashing JSON values

cardano-crypto

cardano-sl

Cryptographic currency implementing Ouroboros PoS protocol

centos

Virtual machine templates for CentOS

constraints

Tools for programming with ConstraintKinds in GHC

cuddle

CDDL DSL and Testing Tools

cvmfs

The CernVM File System

daml

The DAML smart contract language

datadog

Haskell DataDog client library

dotnix

Nix flake based system configuration

friendly

Generic pretty-printer for program output

gdiff-th

Template Haskell code to generate gdiff GADTs and class instances

gitrev

Compile git revision info into Haskell projects

haskell-language-server

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

haskell.nix

Alternative Haskell Infrastructure for Nixpkgs

hells

Implementation of the game Hells (or Bulls and Cows) in Haskell.

hie-nix

Nix packages for Haskell IDE Engine

home-manager

Manage a user environment using Nix [maintainer=@rycee]

hs.tiling

Add tiling window management powers to your hammerspoon

hsdev

Haskell development tool

inline-c-test

Test of inline-c

iohk-ops

NixOps deployment configuration for IOHK devops

ldapauthenticator

LDAP Authenticator Plugin for Jupyter

moo

Genetic algorithm library for Haskell. Binary and continuous (real-coded) GAs. Binary GAs: binary and Gray encoding; point mutation; one-point, two-point, and uniform crossover. Continuous GAs: Gaussian mutation; BLX-α, UNDX, and SBX crossover. Selection operators: roulette, tournament, and stochastic universal sampling (SUS); with optional niching, ranking, and scaling. Replacement strategies: generational with elitism and steady state. Constrained optimization: random constrained initialization, death penalty, constrained selection without a penalty function. Multi-objective optimization: NSGA-II and constrained NSGA-II.

nc6.github.com

Epiblogism