scm2342 Goto Github PK

adventofcode-2022

Some code for adventofcode 2022

alpine-keycloak

Alpine based keycloak image

awesome-battery

battery plugin for awesome for thinkpads

backstage-test-keycloak

Open Source Identity and Access Management For Modern Applications and Services

conduit-environment

Give n elements before and m elements after an element matching a predicate. E.g. if conduit produces lines, then match line by predicate and get n lines before and m after.

convergence

An agile, distributed, and secure alternative to the Certificate Authority system.

docker-agensgraph

Adopted postgres:13 Dockerfile for agensgraph

docker-merecat

Super small docker image containing static merecat, a small httpd. Serves /data

docker-nginx

docker-openssh

docker-tinc-boot

dooris

Android widget that displays the doorstatus of the hackerspace in hamburg - attraktor.org

fritzlightsdlevents

graph

ocamlgraph graph implementation that I thought I wanted...

hetzner-rancher-example

heurika

HeuRika

hsmategames

hsmatelight

Simple Matelight Client Library supporting events

integerset-bdd

Library for BDD-based integer sets and transfer functions for abstract interpretation

jakstab

The Jakstab static analysis platform for binaries, with BDDStab plug-in

lua-base64

normal and memoize implementation of base64 in lua

lz4-conduit

LZ4 Compression for Haskell Conduits (Data.Conduit)

mastermind

Just a backup of some stupid mastermind code in haskell

matelightemu

MateLight Emulator

mthreadt

Threadmanager in Haskell, implemented as a Monad (Transformer)

nix-puppeteer-docker

nix flake to build a docker image with puppeteer inside

nixos-piv-agent

nix for https://github.com/smlx/piv-agent

nixpkgs

Nix Packages collection

ocamlsat

Toy sat solver in ocaml, that uses robdds (basically it results in (Terminal, true) if your formula does not have any solutions) - returns the bdd

perl-nettools

basic tools like a socks server and netcat, mainly to be used in conjunction with ssh