kquick

kquick's Stars

• GaloisInc/demangler

  Haskell library for (C++) symbol name demangling

  Language:Haskell2

• scottbez1/smartknob

  Haptic input knob with software-defined endstops and virtual detents

  Language:C++19.6k1.1k

• kquick/Thespian

  Python Actor concurrency library

  Language:Python19124

• kquick/mywork

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

  Language:Haskell61

• kquick/brick-panes

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

  Language:Haskell73

• kquick/tasty-sugar

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

  Language:Haskell51

• travitch/haskell-pragma.el

  An emacs hydra to enable Haskell language extensions efficiently

  Language:Emacs Lisp31

• travitch/crepitans

  A tool for scriptable exploration of binaries

  Language:Haskell2

• Systems-Modeling/SysML-v2-Release

  The latest incremental release of SysML v2. Start here.

  Language:Batchfile48367

• Bodigrim/logict

  A continuation-based backtracking logic programming monad

  Language:Haskell8513

• wwoods/neaterl

  Neat and tidy Erlang alternative syntax based on indentation rather than punctuation

  Language:Erlang7

• acw/advent2020

  Language:Rust1

• glguy/advent2020

  Advent of Code 2020 Haskell Solutions

  Language:Haskell16

• Ptival/advent-of-code

  Language:Haskell1

• jtdaugherty/vty

  A high-level ncurses alternative written in Haskell

  Language:Haskell31957

• GaloisInc/abide

  A library for architecture/ABI-specific parameter passing rules

  Language:Haskell3

• GaloisInc/bv-sized

  A bitvector datatype that is parameterized by the vector width.

  Language:Haskell63

• matterhorn-chat/matterhorn

  A feature-rich Unix terminal client for the Mattermost chat system

  Language:Haskell1.1k77

• GaloisInc/lumberjack

  Helps you trek through your code forest and generate logs.

  Language:Haskell91

• GaloisInc/saw-core

  The SAW core language.

  Language:Haskell5410

• kquick/briareus-py

  Generate build configurations based on input specification and repository data

  Language:Python81

• GaloisInc/hpb

  Haskell Protocol Buffers

  Language:Haskell12

• NixOS/hydra

  Hydra, the Nix-based continuous build system

  Language:Perl1.2k310

• GaloisInc/crucible

  Crucible is a library for symbolic simulation of imperative programs

  Language:Rust68842

• haskell-graphql/graphql-api

  Write type-safe GraphQL services in Haskell

  Language:Haskell40532

• scottleedavis/mattermost-plugin-ascii-plot

  Modifies posts containing plot data and generates a simple ascii plot

  Language:Go4

• nlewo/hydra-cli

  A client for the Hydra Nix CI

  Language:Rust4413

• volth/nix-windows

  Nix, the purely functional package manager

  Language:C++181

• kquick/devnix

  Developing projects using enhanced nix configuration for dependencies and Hydra CI

  Language:Nix61

• GaloisInc/parameterized-utils

  A set of utilities for using indexed types including containers, equality, and comparison.

  Language:Haskell5913