kquick Goto Github PK

abc

ABC: System for Sequential Logic Synthesis and Formal Verification

adventofcode2019

Solutions for AventOfCode 2019 puzzles.

adventofcode2020

aeson

A fast Haskell JSON library

alex-tools

A Haskell library making it easier to write Alex lexers.

bhoogle

Hoogle terminal UI brick example app

blog

blt

Lattice-based integer linear programming solver

briareus

briareus-py

Generate build configurations based on input specification and repository data

brick

A declarative terminal UI programming library written in Haskell (releases at http://hackage.haskell.org/package/brick)

brick-panes

Panes library overlay for Brick library providing composition and isolation for Haskell TUI apps.

brick-skylighting

Display syntax-highlighted text in Brick user interfaces

build-bom

Dynamically discover the commands used to create a piece of software

cabal-db

Various cabal query commands wrapped in a simple CLI tool

cabal2nix

Generate Nix build instructions from a Cabal file

chainsop

Rust library to facilitate executing a chained series of executables

config-ini

A monadic DSL for simple configuration parsing

config-value

Simple, layout-based, unambiguous configuration language implemented in Haskell

crucible

Crucible is a library for symbolic simulation of imperative programs

crucible_nix

Nix configuration for building the crucible suite

devnix

Developing projects using enhanced nix configuration for dependencies and Hydra CI

diagnose

A simple library for reporting compiler/interpreter errors

fgl

A Functional Graph Library for Haskell

filestore

A versioning file store backed by git, darcs, or mercurial

generic-lens

Generically derive traversals, lenses, and prisms.

git-config

A simple parser for Git configuration files.

graphql-api

Write type-safe GraphQL services in Haskell

grappa

hackage-db

provide access to the Hackage database via Data.Map