Skip to content
View csstaub's full-sized avatar
📌
Pinning It
📌
Pinning It

Organizations

@tamarin-prover @ghostunnel

Block or report csstaub

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

monospace typeface designed for symbol-rich programming

Perl 1,482 20 Updated Dec 14, 2025

A simple SSL/TLS proxy with mutual authentication for securing non-TLS services.

Go 2,110 281 Updated Dec 14, 2025

Protect your SSH keys with your Mac's Secure Enclave

Swift 7,929 182 Updated Dec 14, 2025

Versatile typeface for code, from code.

JavaScript 21,363 638 Updated Dec 14, 2025

🌸 A command-line fuzzy finder

Go 75,730 2,630 Updated Dec 14, 2025

Convert Tesla dash cam movie files into one movie

Python 713 92 Updated Dec 13, 2025

An ACME-based certificate authority, written in Go.

Go 5,596 630 Updated Dec 13, 2025

The SPIFFE Runtime Environment

Go 2,149 553 Updated Dec 12, 2025

The SPIFFE Project

Shell 1,672 179 Updated Dec 12, 2025

A Go module datastore and proxy

Go 4,676 532 Updated Dec 11, 2025

Go security checker

Go 8,571 669 Updated Dec 11, 2025

A utility to examine and validate certificates in a variety of formats

Go 1,004 70 Updated Dec 9, 2025

AWS IAM linting library

Python 1,100 102 Updated Dec 5, 2025

An interface to PKCS#11 devices that satisfies the crypto.Signer interface

Go 92 44 Updated Dec 4, 2025

Create agents that monitor and act on your behalf. Your agents are standing by!

Ruby 48,308 4,212 Updated Dec 3, 2025

Modern CSS framework based on Flexbox

CSS 50,015 3,925 Updated Dec 3, 2025

Main source code repository of the Tamarin prover for security protocol verification.

Haskell 490 155 Updated Dec 3, 2025

CONTRIBUTIONS ONLY: A Go (golang) command line and flag parser

Go 3,558 275 Updated Dec 3, 2025

A general purpose YNAB enhancing browser extension for Chrome and Firefox. Have it your way!

TypeScript 1,504 356 Updated Dec 2, 2025

Sharkey is a service for managing certificates for use by OpenSSH

Go 410 28 Updated Nov 20, 2025

official gentoo haskell overlay

Shell 218 149 Updated Nov 8, 2025

🇺🇦 Your meetings at your fingertips in the macOS menu bar

Swift 5,057 239 Updated Oct 16, 2025

Master programming by recreating your favorite technologies from scratch.

Markdown 448,929 42,100 Updated Oct 10, 2025

Homebridge plugin for PurpleAir, for monitoring air quality in Apple HomeKit as well as home automation based on air quality changes.

TypeScript 34 14 Updated Sep 13, 2025

OS X menubar status indicator

Objective-C 5,994 158 Updated Sep 4, 2025

A wiki using HAppS, pandoc, and git

Haskell 2,249 231 Updated Sep 3, 2025

Go SQL utility library

Go 207 44 Updated Aug 28, 2025

⛷ Dead simple CSS framework.

CSS 2,752 142 Updated Aug 14, 2025

JSON output from a shell

C 4,859 161 Updated Jun 20, 2025

SOCKS server for iOS. Handy for defeating tethering speed limits, among other uses.

Objective-C 98 21 Updated May 13, 2025
Next