Pinned Repositories
jayhorn
Static checker for Java
aurora
Python interface for Nanoleaf Aurora lights
aws-codeguru-cli
Command line wrapper to interact with CodeGuru Reviewer
bixie
Inconsistent Code Detection for Java
cv
CV
foaas-alex
An Alexa Lambda skill for FOAAS
gravy
Gradual verification of Boogie programs
laserswitch
Turn stuff on and off with laser
roomba
Python scripts to control the Roomba via serial cable.
bixie
Inconsistent code detection for Java.
martinschaef's Repositories
martinschaef/cicd-demo
martinschaef/cv
CV
martinschaef/aws-codeguru-cli
Command line wrapper to interact with CodeGuru Reviewer
martinschaef/amazon-codeguru-reviewer-python-detectors
Python code examples for Amazon CodeGuru Reviewer
martinschaef/amazon-codeguru-reviewer-sample-app
martinschaef/amazon-codeguru-samples
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.
martinschaef/amazon-neptune-jdbc-driver
Amazon Neptune JDBC Driver by Amazon Web Services
martinschaef/apilearner
martinschaef/aws-codeguru-profiler-demo-application
Example application demonstrating the features of Amazon CodeGuru Profiler
martinschaef/aws-codeguru-reviewer-cicd-cdk-sample
CDK stack to enable CodeGuru Reviewer for selected GitHub repositories
martinschaef/aws-doc-sdk-examples
Welcome to the AWS Code Examples Repository. This repo contains code examples used in the AWS documentation, AWS SDK Developer Guides, and more. For more information, see the Readme.md file below.
martinschaef/aws-instance-scheduler
A cross-account and cross-region solution that allows customers to automatically start and stop EC2 and RDS Instances
martinschaef/aws-java-spring-cloud-function-demo
If Java is your choice of programming language - Spring Cloud Function + Serverless Framework makes a great technology stack. It boosts developer productivity by decoupling from Vendor specific FaaS API, and deployment activities.
martinschaef/aws-lambda-developer-guide
The AWS Lambda Developer Guide
martinschaef/aws-sdk-android-samples
This repository has samples that demonstrate various aspects of the AWS SDK for Android, you can get the SDK source on Github https://github.com/aws-amplify/aws-sdk-android/
martinschaef/aws-toolkit-eclipse
AWS Toolkit for Eclipse – an open-source plugin for developing, deploying, and managing AWS applications.
martinschaef/codeguru-reviewer
martinschaef/dg
martinschaef/java_repos
java repos for trial event
martinschaef/martinschaef.github.io
Personal website
martinschaef/multi-model-server
Multi Model Server is a tool for serving neural net models for inference
martinschaef/narrator
David Attenborough narrates your life
martinschaef/playground
martinschaef/python_repos
Python repos for bugbust trial event
martinschaef/serverless-examples
Serverless Examples – A collection of boilerplates and examples of serverless architectures built with the Serverless Framework on AWS Lambda, Microsoft Azure, Google Cloud Functions, and more.
martinschaef/SharpSaster
Testing security SAST analyzers for C#
martinschaef/smithy
Smithy is a protocol-agnostic interface definition language and set of tools for generating clients, servers, and documentation for any programming language.
martinschaef/soot
Soot - A Java optimization framework
martinschaef/SPDS
Efficient and Precise Pointer-Tracking Data-Flow Framework
martinschaef/spring-boot-war-example
Example project to build a WAR file out of a standard spring-boot project