Skip to content
View martinschaef's full-sized avatar

Organizations

@jayhorn

Block or report martinschaef

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse
Showing results

A free, open source, and extensible speech-to-text application that works completely offline.

Rust 23,765 1,993 Updated Jun 11, 2026

A native macOS client that brings Amazon Bedrock's AI models directly to your desktop. Access Claude Opus 4.8, Sonnet 4.6, and other foundation models through a clean interface designed for macOS, …

Swift 442 47 Updated Jun 11, 2026

ASH is an extensible, open source SAST, SCA, and IaC security scanner orchestration engine.

Python 657 84 Updated Jun 16, 2026

JavaScript code examples for Amazon CodeGuru Reviewer

JavaScript 3 18 Updated Mar 21, 2024

A Library for Uncertainty Quantification.

Python 927 53 Updated Apr 23, 2025

Static Analyzer for Solidity and Vyper

Python 6,297 1,118 Updated Jun 11, 2026

A command line tool that validates AWS IAM Policies in a Terraform template against AWS IAM best practices

Python 347 32 Updated Jun 9, 2025

AWS Encryption SDK

Rust 64 27 Updated Jun 16, 2026

🎨 Diagram as Code for prototyping cloud system architectures

Python 42,356 2,726 Updated Jun 9, 2026

A tool for refactoring code related to feature flag APIs

Rust 2,447 207 Updated Apr 2, 2026

Example solutions demonstrating how to implement patterns within the AWS Security Reference Architecture guide using CloudFormation (including Customizations for AWS Control Tower) and Terraform.

Python 1,134 300 Updated May 22, 2026

Python code examples for Amazon CodeGuru Reviewer

Python 24 28 Updated May 1, 2024

Java code examples for Amazon CodeGuru Reviewer

Java 25 19 Updated Dec 14, 2023

Command line wrapper to interact with CodeGuru Reviewer

Java 23 9 Updated Sep 3, 2024

This repository will provide snippets of sample code to demonstrate the functionality of Amazon CodeGuru Reviewer. Please navigate to respective directories to obtain the code.

Java 4 43 Updated Jul 27, 2023

CDK stack to enable CodeGuru Reviewer for selected GitHub repositories

TypeScript 9 5 Updated Oct 18, 2023

GitHub public roadmap

8,769 1,664 Updated Oct 15, 2024

SoCo (Sonos Controller) is a simple Python class that allows you to programmatically control Sonos speakers.

Python 330 31 Updated Feb 16, 2023

A Spotify 'Now Playing' screen designed for Raspberry Pi

Vue 272 565 Updated Mar 24, 2024

Magnificent app which corrects your previous console command.

Python 97,356 3,948 Updated Jul 19, 2024
Python 1 1 Updated May 23, 2020

An IRConverter from WALA IR to Soot IR (Jimple)

Java 5 2 Updated Oct 4, 2024

MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration

Java 81 27 Updated Jul 14, 2025

A Java compiler plugin that proves, at compile-time, that Java code only requests 256-bit data keys from AWS KMS.

Java 4 8 Updated Nov 11, 2021

Type system to detect accidental logging and inappropriate use of critical data in Java applications.

Java 8 7 Updated Nov 11, 2021

Dafny is a verification-aware programming language

C# 3,435 320 Updated Jun 15, 2026

check all of the things!

Python 49 12 Updated Feb 3, 2026
Next