kquick

@GaloisInc Portland, OR

Pinned Repositories

briareus-py
Generate build configurations based on input specification and repository data
Language:Python81
brick-panes
Panes library overlay for Brick library providing composition and isolation for Haskell TUI apps.
Language:Haskell6 2 13
devnix
Developing projects using enhanced nix configuration for dependencies and Hydra CI
Language:Nix6 5 01
mhnix
Nix build configuration for Matterhorn (using devnix).
Language:Nix1 3 00
mywork
Tool to keep track of what you have been working on, and where and when work should continue
Language:Haskell4 2 31
nixintro
Presentation to introduce the Nix packaging environment
Language:HTML7 3 01
tasty-checklist
A checklist of results reported as a group for the Haskell Tasty testing framework.
Language:Haskell2 3 11
tasty-sugar
Haskell test framework for Tests defined by Search Using Golden Answer References
Language:Haskell5 6 21
Thespian
Python Actor concurrency library
Language:Python185 13 7824
vernix
Version-specific nix project specifications
Language:Python12 5 00

kquick's Repositories

kquick/Thespian
Python Actor concurrency library
Language:Python185 13 7824
kquick/brick-panes
Panes library overlay for Brick library providing composition and isolation for Haskell TUI apps.
Language:Haskell6 2 13
kquick/tasty-sugar
Haskell test framework for Tests defined by Search Using Golden Answer References
Language:Haskell5 6 21
kquick/mywork
Tool to keep track of what you have been working on, and where and when work should continue
Language:Haskell4 2 31
kquick/tasty-checklist
A checklist of results reported as a group for the Haskell Tasty testing framework.
Language:Haskell2 3 11
kquick/nix-levers
Various levers to control and adjust builds with nix flakes.
Language:Nix1 3 0
kquick/null-flake
An empty/null flake to use for replacing other flake's inputs to handle optional dependencies.
Language:Nix1 2 0
kquick/alex-tools
A Haskell library making it easier to write Alex lexers.
Language:Haskell1 0
kquick/brick
A declarative terminal UI programming library written in Haskell (releases at http://hackage.haskell.org/package/brick)
Language:Haskell3 0
kquick/brick-skylighting
Display syntax-highlighted text in Brick user interfaces
kquick/build-bom
Dynamically discover the commands used to create a piece of software
Language:Rust2 0
kquick/chainsop
Rust library to facilitate executing a chained series of executables
Language:Rust
kquick/config-value
Simple, layout-based, unambiguous configuration language implemented in Haskell
Language:Haskell1 0
kquick/diagnose
A simple library for reporting compiler/interpreter errors
Language:Haskell1 0
kquick/fgl
A Functional Graph Library for Haskell
Language:Haskell1 0
kquick/haggle
An efficient graph library for Haskell
Language:Haskell1 0
kquick/hnix
A Haskell re-implementation of the Nix expression language
Language:Nix1 0
kquick/install-nix-action
Installs Nix on GitHub Actions for the supported platforms: Linux and macOS.
Language:Shell1 0
kquick/itanium-abi
An implementation of C++ name mangling for the Itanium ABI
Language:Haskell2 0
kquick/kvitable
Haskell Key/Value Indexed Table library
Language:Haskell3 03
kquick/language-dot
A library for the analysis and creation of Graphviz DOT files
Language:Haskell1 0
kquick/llvm-pretty
An llvm pretty printer inspired by the haskell llvm binding
Language:Haskell2 0
kquick/macaw
Open source binary analysis tools.
Language:Haskell1 0
kquick/named-text
A parameterized named text type and associated functionality for Haskell.
Language:Haskell2 0
kquick/s-cargot
Elaborate and expressive S-Expression library for Haskell
Language:Haskell3 0
kquick/sayable
Data structures, classes and operators for constructing context-adjusted pretty output in Haskell
Language:Haskell
kquick/semtk-python3
python3 rest wrapper for SemTK
Language:Python1 0
kquick/tasty
Modern and extensible testing framework for Haskell
Language:Haskell1 0
kquick/versioning
Type-safe data versioning.
Language:Haskell1 0
kquick/vty-unix
Unix backend for Vty
Language:Haskell