Skip to content
View kquick's full-sized avatar
49 followers · 5 following

Organizations

@GaloisInc @thespianpy

Block or report kquick

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • brick-panes Public

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

    Haskell 7 3 ISC License Updated Aug 30, 2024

  • mywork Public

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

    Haskell 5 1 ISC License Updated Aug 30, 2024

  • daedalus Public

    Forked from GaloisInc/daedalus

    The Daedalus data description language

    Haskell BSD 3-Clause "New" or "Revised" License Updated Aug 12, 2024

  • diagnose Public

    Forked from Mesabloo/diagnose

    A simple library for reporting compiler/interpreter errors

    Haskell BSD 3-Clause "New" or "Revised" License Updated Aug 11, 2024

  • tasty-sugar Public

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

    Haskell 5 1 ISC License Updated Aug 5, 2024

  • kvitable Public

    Haskell Key/Value Indexed Table library

    Haskell 3 ISC License Updated Jul 30, 2024

  • named-text Public

    A parameterized named text type and associated functionality for Haskell.

    Haskell ISC License Updated Jul 24, 2024

  • alex-tools Public

    Forked from GaloisInc/alex-tools

    A Haskell library making it easier to write Alex lexers.

    Haskell ISC License Updated Jul 20, 2024

  • skylighting Public

    Forked from jgm/skylighting

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

    Haskell Updated Jun 7, 2024

  • build-bom Public

    Forked from travitch/build-bom

    Dynamically discover the commands used to create a piece of software

    Rust Apache License 2.0 Updated May 23, 2024

  • brick Public

    Forked from jtdaugherty/brick

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

    Haskell Other Updated May 7, 2024

  • brick-skylighting Public

    Forked from jtdaugherty/brick-skylighting

    Display syntax-highlighted text in Brick user interfaces

    Haskell BSD 3-Clause "New" or "Revised" License Updated May 6, 2024

  • chainsop Public

    Rust library to facilitate executing a chained series of executables

    Rust Updated Mar 18, 2024

  • Thespian Public

    Forked from thespianpy/Thespian

    Python Actor concurrency library

    distributed-systems actors fault-tolerance actor-model scalability concurrency distributed-actors
    Python 190 24 MIT License Updated Feb 14, 2024

  • null-flake Public

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

    Nix 1 Updated Jan 29, 2024

  • haggle Public

    Forked from travitch/haggle

    An efficient graph library for Haskell

    Haskell BSD 3-Clause "New" or "Revised" License Updated Dec 12, 2023

  • sayable Public

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

    Haskell ISC License Updated Dec 11, 2023

  • vty-unix Public

    Forked from jtdaugherty/vty-unix

    Unix backend for Vty

    Haskell Other Updated Oct 25, 2023

  • language-dot Public

    Forked from bgamari/language-dot

    A library for the analysis and creation of Graphviz DOT files

    Haskell BSD 3-Clause "New" or "Revised" License Updated Sep 12, 2023

  • tasty Public

    Forked from UnkindPartition/tasty

    Modern and extensible testing framework for Haskell

    Haskell Updated Aug 21, 2023

  • llvm-pretty Public

    Forked from GaloisInc/llvm-pretty

    An llvm pretty printer inspired by the haskell llvm binding

    Haskell Other Updated Aug 3, 2023

  • nix-levers Public

    Various levers to control and adjust builds with nix flakes.

    Nix 1 Updated Jun 23, 2023

  • tasty-checklist Public

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

    Haskell 2 1 ISC License Updated Apr 17, 2023

  • s-cargot Public

    Forked from aisamanra/s-cargot

    Elaborate and expressive S-Expression library for Haskell

    Haskell BSD 3-Clause "New" or "Revised" License Updated Apr 5, 2023

  • itanium-abi Public

    Forked from travitch/itanium-abi

    An implementation of C++ name mangling for the Itanium ABI

    Haskell BSD 3-Clause "New" or "Revised" License Updated Mar 25, 2023

  • hnix Public

    Forked from haskell-nix/hnix

    A Haskell re-implementation of the Nix expression language

    Nix BSD 3-Clause "New" or "Revised" License Updated Dec 30, 2022

  • fgl Public

    Forked from haskell/fgl

    A Functional Graph Library for Haskell

    Haskell Other Updated Jul 19, 2022

  • semtk-python3 Public

    Forked from ge-semtk/semtk-python3

    python3 rest wrapper for SemTK

    Python Other Updated May 24, 2022

  • config-value Public

    Forked from glguy/config-value

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

    Haskell MIT License Updated Apr 28, 2022

  • install-nix-action Public

    Forked from cachix/install-nix-action

    Installs Nix on GitHub Actions for the supported platforms: Linux and macOS.

    Shell Apache License 2.0 Updated Feb 8, 2022