Popular repositories Loading

1. nix-scheduler-hook nix-scheduler-hook Public archive

   Nix build hook that forwards builds to job schedulers.

   C++ 32 1

2. action-post-run action-post-run Public

   Forked from Profpatsch/action-post-run

   Enables executing custom commands once a workflow job has ended.

   TypeScript 1 1

3. ze-count-engines ze-count-engines Public

   A simple utility to count the number of compute and copy engines on Intel GPUs.

   C++ 1

4. hydra hydra Public

   Forked from NixOS/hydra

   Hydra, the Nix-based continuous build system

   Perl

5. heapster-saw heapster-saw Public

   Forked from GaloisInc/heapster-saw

   Implementation of the Heapster type system of separation types inside SAW, including a translation to SAW core

   Haskell

6. abcBridge abcBridge Public

   Forked from GaloisInc/abcBridge

   Haskell bindings for ABC

   Haskell