Program for determining types of files for Windows, Linux and MacOS.

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.

:movie_camera: Python and OpenCV-based scene cut/transition detection program & library.

A reusable Agent Skill that turns research briefs into narrated vertical explainer videos with a pre-render review gate.

Web3 Foundation Grants Program

T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.

Tai-e assignments for static program analysis

💸 Calculate estimated monthly costs of Google Cloud Platform products and resources via YAML files and CLI program (Linux, macOS, Windows)

Program learning to play Flappy Bird by machine learning (Neuroevolution)

The National Gallery of Art Open Data Program

Scans Algorand smart contracts for 11 common vulnerabilities including rekeying attacks, unchecked transaction fees, missing field validations, and access control issues. Use when auditing Algorand projects (TEAL/PyTeal).

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.