https://taintbench.github.io

🐸💬 - a deep learning toolkit for Text-to-Speech, battle-tested in research and production

Thorsten-Voice: A free to use, offline working, high quality german TTS voice should be available for every project without any license struggling.

Fast and local neural text-to-speech engine

A nearly-live implementation of OpenAI's Whisper.

简明自制编程语言教程，同时是antlr非官方参考🌰。这里也是cyson这门语言的缘起。

Dynamic analysis framework for Python

Pynblint is a linter for Python Jupyter notebooks.

An agent to enable remote management of your EC2 instances, on-premises servers, or virtual machines (VMs).

Java Change Impact Analysis, a library that parse 2 consecutive versions of a Java project and produce some advices about where (not) to do regression testing on your program.

Python code examples for Amazon CodeGuru Reviewer

Java code examples for Amazon CodeGuru Reviewer

Command line wrapper to interact with CodeGuru Reviewer

Java runtime dynamic tracing

Web verification for PHP

Benchmark apps for static analyzing native world of Android applications.

A curated database of insecure Python packages

A security focused static analysis tool for Android and Java applications.

Codyze is a static analyzer for Java, C, C++ based on code property graphs

This repo is meant to be a list of companies that hire security people full remote.

SARIF Microsoft Visual Studio Code extension

Simple football betting application using Spring Boot, Thymeleaf and Bootstrap. Well prepared for betting with friends.

A dynamic call graph generator using Jalangi2

Web application fuzzer

Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to support multiple IDEs.

Efficient and Precise Pointer-Tracking Data-Flow Framework

⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.