Kevin Quick (kquick)

kquick

User data from Github https://github.com/kquick

Company:@GaloisInc

Location:Portland, OR

GitHub:@kquick


Organizations
GaloisInc
thespianpy

Kevin Quick's repositories

Thespian

Python Actor concurrency library

Language:PythonLicense:MITStargazers:194Issues:10Issues:79

brick-panes

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

Language:HaskellLicense:ISCStargazers:8Issues:2Issues:1

mywork

Tool to keep track of what you have been working on, and where and when work should continue

Language:HaskellLicense:ISCStargazers:7Issues:2Issues:3

tasty-sugar

Haskell test framework for Tests defined by Search Using Golden Answer References

Language:HaskellLicense:ISCStargazers:5Issues:6Issues:2

eng

Engineering process tool. Project management and operations facilitation.

Language:PrologLicense:BSD-3-ClauseStargazers:2Issues:0Issues:0

tasty-checklist

A checklist of results reported as a group for the Haskell Tasty testing framework.

Language:HaskellLicense:ISCStargazers:2Issues:3Issues:1

nix-levers

Various levers to control and adjust builds with nix flakes.

Language:NixStargazers:1Issues:2Issues:0

null-flake

An empty/null flake to use for replacing other flake's inputs to handle optional dependencies.

Language:NixStargazers:1Issues:2Issues:0
Stargazers:0Issues:0Issues:0

alex-tools

A Haskell library making it easier to write Alex lexers.

Language:HaskellLicense:ISCStargazers:0Issues:1Issues:0

brick

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

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:3Issues:0

brick-skylighting

Display syntax-highlighted text in Brick user interfaces

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

build-bom

Dynamically discover the commands used to create a piece of software

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

cabal

Official upstream development repository for Cabal and cabal-install

License:NOASSERTIONStargazers:0Issues:0Issues:0

car_design

Example project for RDE (Rigorous Digital Engineering)

Language:PythonStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

chainsop

Rust library to facilitate executing a chained series of executables

Language:RustStargazers:0Issues:2Issues:0

clafer

Clafer is a lightweight modeling language

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

daedalus

The Daedalus data description language

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

diagnose

A simple library for reporting compiler/interpreter errors

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

haggle

An efficient graph library for Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

haskell-hedgehog-classes

Hedgehog will eat your typeclass bugs

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

kvitable

Haskell Key/Value Indexed Table library

Language:HaskellLicense:ISCStargazers:0Issues:4Issues:2

language-dot

A library for the analysis and creation of Graphviz DOT files

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

named-text

A parameterized named text type and associated functionality for Haskell.

Language:HaskellLicense:ISCStargazers:0Issues:2Issues:0

sayable

Data structures, classes and operators for constructing context-adjusted pretty output in Haskell

Language:HaskellLicense:ISCStargazers:0Issues:3Issues:0

skylighting

A Haskell syntax highlighting library with tokenizers derived from KDE syntax highlighting descriptions

Language:HaskellStargazers:0Issues:0Issues:0

tasty-hedgehog

Tasty integration for the Hedgehog property testing library

License:NOASSERTIONStargazers:0Issues:0Issues:0

vty-unix

Unix backend for Vty

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

wazuh

Wazuh - The Open Source Security Platform. Unified XDR and SIEM protection for endpoints and cloud workloads.

License:NOASSERTIONStargazers:0Issues:0Issues:0