lisanna-dettwyler

.github

A collection of github actions and other tooling designed to reduce repetition and make adding pipelines easier.

abcBridge

Haskell bindings for ABC

action-post-run

Enables executing custom commands once a workflow job has ended.

action-setup-gh-cli

Makes the GitHub CLI command available in your PATH

action-setup-jq

Simple GitHub Action to add jq to the path

actions

Github actions for Haskell CI

ze-count-engines

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

lisanna-dettwyler/action-post-run

Enables executing custom commands once a workflow job has ended.

lisanna-dettwyler/.github

A collection of github actions and other tooling designed to reduce repetition and make adding pipelines easier.

lisanna-dettwyler/abcBridge

Haskell bindings for ABC

lisanna-dettwyler/action-setup-gh-cli

Makes the GitHub CLI command available in your PATH

lisanna-dettwyler/action-setup-jq

Simple GitHub Action to add jq to the path

lisanna-dettwyler/actions

Github actions for Haskell CI

lisanna-dettwyler/actions-runner-action-terraform

On-demand self-hosted AWS EC2 runner for GitHub Actions

lisanna-dettwyler/ze-count-engines

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

lisanna-dettwyler/CMake

Mirror of CMake upstream repository

lisanna-dettwyler/composite-action-output-context-bug

Demonstrates a limitation in GitHub Actions' context handling in the outputs of composite actions

lisanna-dettwyler/composite-post-run-test

lisanna-dettwyler/cryptol

Cryptol: The Language of Cryptography

lisanna-dettwyler/cryptol-course

The purpose of the course is to teach students how to program in Cryptol, a domain specific language for cryptography.

lisanna-dettwyler/docker-source-checksum

Deterministic source-based docker image checksum

lisanna-dettwyler/heapster-saw

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

lisanna-dettwyler/HiddenWorlds

A small C++ game engine prototype

lisanna-dettwyler/hydra

Hydra, the Nix-based continuous build system

lisanna-dettwyler/level-zero

oneAPI Level Zero Specification Headers and Loader

lisanna-dettwyler/level-zero-spec

lisanna-dettwyler/level-zero-tests

oneAPI Level Zero Conformance & Performance test content

lisanna-dettwyler/nixpkgs

Nix Packages collection

lisanna-dettwyler/patchelf

A small utility to modify the dynamic linker and RPATH of ELF executables

lisanna-dettwyler/saw-tools

Distributions of Galois' SAW and runtime dependencies

lisanna-dettwyler/scotty-tls

Run your Scotty apps over TLS

lisanna-dettwyler/UOF-Proto

Library of useful C functions and macros

lisanna-dettwyler/virtual-environments

GitHub Actions virtual environments

lisanna-dettwyler/win-buildx-error

lisanna-dettwyler/zaum

A game theory based programming language