Samuel Kelemen's repositories
ansible_galaxy_collection
Deploy a Collection to Ansible Galaxy
awsu
Enhanced account switching for AWS, supports Yubikey as MFA source
b1fipl
A Bestiary of Single-File Implementations of Programming Languages
compiler
Compiler for Elm, a functional language for reliable webapps.
ghidra
Ghidra is a software reverse engineering (SRE) framework
gpr-docker-publish
GitHub Action That Publishes Docker Images to GPR
Homebrew-Actions
Actions for interacting with Homebrew-Template
Homebrew-Template
A template for creating private homebrew repositories
Humanizer
Humanizer meets all your .NET needs for manipulating and displaying strings, enums, dates, times, timespans, numbers and quantities
hydra
Livecoding networked visuals in the browser
hydra-synth
Synth engine for hydra
isSecret
idk is it?
lean
Lean Theorem Prover
localstack
💻 A fully functional local AWS cloud stack. Develop and test your cloud & Serverless apps offline!
manim
Animation engine for explanatory math videos
markmap
Visualize markdown documents as mindmaps
morpheus
What if I told you...
Orca
Esoteric Programming Language
reapsaw
Reapsaw is a continuous security devsecops tool, which helps in enabling security into CI/CD Pipeline. It supports coverage for multiple programming languages.
rendy
State of the art "build your own engine" kit powered by gfx-hal
sourced-ce
source{d} Community Edition (CE)
sqrl-ssp
Pluggable SQRL authentication server implentation
traefik
The Cloud Native Edge Router
weePickle
weePickle: a fork of uPickle, stabilized with MiMa and shading.