Kevin Quick's repositories
brick-panes
Panes library overlay for Brick library providing composition and isolation for Haskell TUI apps.
tasty-sugar
Haskell test framework for Tests defined by Search Using Golden Answer References
tasty-checklist
A checklist of results reported as a group for the Haskell Tasty testing framework.
nix-levers
Various levers to control and adjust builds with nix flakes.
null-flake
An empty/null flake to use for replacing other flake's inputs to handle optional dependencies.
alex-tools
A Haskell library making it easier to write Alex lexers.
brick-skylighting
Display syntax-highlighted text in Brick user interfaces
cabal
Official upstream development repository for Cabal and cabal-install
car_design
Example project for RDE (Rigorous Digital Engineering)
clafer
Clafer is a lightweight modeling language
daedalus
The Daedalus data description language
haskell-hedgehog-classes
Hedgehog will eat your typeclass bugs
language-dot
A library for the analysis and creation of Graphviz DOT files
named-text
A parameterized named text type and associated functionality for Haskell.
skylighting
A Haskell syntax highlighting library with tokenizers derived from KDE syntax highlighting descriptions
tasty-hedgehog
Tasty integration for the Hedgehog property testing library
vty-unix
Unix backend for Vty
wazuh
Wazuh - The Open Source Security Platform. Unified XDR and SIEM protection for endpoints and cloud workloads.