Lázaro Clapp

Android APK file unzip tool, using xiaxiaocao/apk-parser.

Source code for my personal webpage at lazaroclapp.com

Kotlin grammar for Tree-sitter

Cache AWS Secrets Manager secrets in your AWS Lambda function

Pluggable type-checking for Java

NullAwayAnnotator is a tool that automatically fixes source code to pass NullAway checks.

Script to run AutoFixer Diagnoser task

A repro attempt for Error Prone's Issue #2347

A small issue repro for an issue with Modifiers.Final, Error Prone, and Android

Catch common Java mistakes as compile-time errors

Apache Thrift

T.J. Watson Libraries for Analysis

Test case for CF generics erasure crash

Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly configurable. It can be invoked with an ANT task and a command line program.

Reproducing a Checker Framework issue involving methods refs.

Reproducing a Checker Framework issue involving methods with type arguments.

Code to reproduce CF Issue1605

A fast build system that encourages the creation of small, reusable modules over a variety of platforms and languages.

Binary Instrumentation of Android Apps

A client for the Github API using CommonJS Promises. Intended for the browser or as a NodeJS package.

Node.js component of the DanceFire demo

Android App Component of the DanceFire project

Small example of HTML5 audio capturing API

The HTML Presentation Framework

A simple application used to highlight some important consideration when using jqm with rails.

Get started using PHP on Heroku

This is the repository for content for CS147, Fall 2012