Samuel Kelemen's repositories
age
A simple, modern and secure encryption tool with small explicit keys, no config options, and UNIX-style composability.
backstage
Backstage is an open platform for building developer portals
chasm
A simple compile-to-WebAssembly language
comby
A tool for structural code search and replace that supports ~every language.
core
Elm's core libraries
curve25519
djb's Curve25519 in TypeScript
decoding
Key and Lock Decoding Tools
FsharpWebApi
fsharp web api example
goneli
Implementation of the NELI leader election protocol for Go and Kafka
imageflow
High-performance image manipulation for web servers. Includes imageflow_server, imageflow_tool, and libimageflow
knox
Knox is a secret management service
lean4
Lean4 work in progress repo
magic-wormhole
get things from one computer to another, safely
natchez
functional tracing for cats
org.alloytools.alloy
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
pico
Take browser screenshots in Javascript 📸
qrcp
:zap: Transfer files over wifi from your computer to your mobile device by scanning a QR code without leaving the terminal.
saltpack
a modern crypto messaging format
secrets-store-csi-driver
Secrets Store CSI driver for Kubernetes secrets - Integrates secrets stores with Kubernetes via a CSI volume.
sops
Simple and flexible tool for managing secrets
swift-nio
Event-driven network application framework for high performance protocol servers & clients, non-blocking.
ThreatMapper
Identify vulnerabilities in running containers, images, hosts and repositories
throttle
Control video playback rate
varisat
SAT solver written in Rust
willow
Wasi Intergrated Language on Wasm