kquick

kquick's Stars

• kquick/vernix

  Version-specific nix project specifications

  Language:Python12

• aisamanra/config-ini

  A monadic DSL for simple configuration parsing

  Language:Haskell2512

• GaloisInc/lustre

  A parser and AST for Lustre

  Language:Haskell125

• berkeley-abc/abc

  ABC: System for Sequential Logic Synthesis and Formal Verification

  Language:C926595

• NixOS/cabal2nix

  Generate Nix build instructions from a Cabal file

  Language:Haskell363157

• GaloisInc/grift

  Galois RISC-V ISA Formal Tools

  Language:Haskell558

• haskell-nix/hnix-store

  Haskell implementation of the Nix store

  Language:Haskell8723

• bastibe/annotate.el

  Annotate.el

  Language:Emacs Lisp39320

• haskell-nix/hnix

  A Haskell re-implementation of the Nix expression language

  Language:Nix773114

• emilaxelsson/trackit

  A command-line tool for live monitoring

  Language:Haskell251

• GaloisInc/macaw

  Open source binary analysis tools.

  Language:Haskell21020

• jimenezrick/termplot

  ▁▂▃▅▂▇ Plot time series in your terminal in real-time

  Language:Haskell433

• weeezes/plot

  Simple plotting tool for the terminal

  Language:Haskell863

• aisamanra/s-cargot

  Elaborate and expressive S-Expression library for Haskell

  Language:Haskell616

• andrevdm/bhoogle

  Hoogle terminal UI brick example app

  Language:Haskell9812

• matterhorn-chat/mattermost-api

  Client side API for communicating with a mattermost server in Haskell

  Language:Haskell2414

• spencertipping/jit-tutorial

  How to write a very simple JIT compiler

  Language:C1.8k99

• nixcloud/tour_of_nix

  Sourcecode to the https://nixcloud.io/tour/ 'a tour of nix'

  Language:JavaScript10413

• thespianpy/Thespian

  Python Actor concurrency library

  Language:Python31764

• NixOS/nixpkgs

  Nix Packages collection & NixOS

  Language:Nix18.7k14.6k