499 Open source projects that are alternatives of or similar to phantom-types

Generates stubs for python modules (targeted to C++ extensions compiled with pybind11)

Vim plugin for executing Python's optional static type checker MyPy (http://mypy-lang.org/)

A plugin for flake8 integrating Mypy.

A static type analyzer for Python code

Refined types

Efficient and Precise Pointer-Tracking Data-Flow Framework

Duplicate code finder for Elixir

Tiny Library for fix problem of language selection in type text.

Read-only mirror of the Klever Git repository

FindBugs static analysis plugin for sbt.

Automatically generates FORtran Documentation from comments within the code.

The mypy playground. Try mypy with your web browser.

[READ-ONLY] PHP_CodeSniffer sniff that checks class name matches PSR-4 project structure.

A set of opinionated and useful lint checks

汽车/安卓/固件/代码安全测试工具集

🦩 Tools for Go projects

Go static program analyser

A Ruby code quality reporter

Inline your lint messages

Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.

PHPUnit extensions and rules for PHPStan

Jenkins Warnings Plugin - Next Generation

The modern Java bytecode editor

Static and dynamic Android application security analysis

SDA is a rich cross-platform tool for reverse engineering that focused firstly on analysis of computer games. I'm trying to create a mix of the Ghidra, Cheat Engine and x64dbg. My tool will combine static and dynamic analysis of programs. Now SDA is being developed.

Inline syscalls made easy for windows on clang

⌨️ 한글 타이핑 효과 라이브러리

A PHP parser written in PHP

Fully type-checked NodeJS EventEmitter

Practicing touch typing, and monitor your typing speed using your own text files

Extensions for PHPStan

No description or website provided.

A Speculation-Aware Collaborative Dependence Analysis Framework

Dlint is a tool for encouraging best coding practices and helping ensure Python code is secure.

Automated static analysis & linting bot for Mozilla repositories

Firebase with Observables, Type Checking of Schema, Zone.js aware and Angular ready.

A linter to prevent exception handling antipatterns in Python (limited only for those who like dinosaurs).

Analysing source code locally with SonarQube in a Docker environment.

"Hack" like a programmer in movies and games! Inspired by hackertyper.net

A static analysis and linter tool for Lua

Quality Police for Java projects

The missing CMake project initializer

An open source script to perform malware static analysis on Portable Executable

Learn the fundamentals of Binary Auditing. Know how HLL mapping works, get more inner file understanding than ever.

The Mobile App Pentest cheat sheet was created to provide concise collection of high value information on specific mobile application penetration testing topics.

Python subsets

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

A health checkup for your project.

Detect uses of legacy Java APIs

A library for detecting swapped arguments in function calls, and a Clang Static Analyzer plugin used to demonstrate the library.

🔥 ~6x faster, stricter, configurable, extensible, and beautiful drop-in replacement for golint

Static analysis of IEC 61131-3 programs

Js library for creating typing effect on webpage.

A set of utilities for checking Go sources. This repository has migrated to https://gitlab.com/opennota/check

github action for python's mypy type checker tool

The CodeQL extractor and libraries for Go.

Static Application Security Testing (SAST) engine focused on covering the OWASP Top 10, to make source code analysis to find vulnerabilities right in the source code, focused on a agile and easy to implement software inside your DevOps pipeline. Support the following technologies: Java (Maven and Android), Kotlin (Android), Swift (iOS), .NET Full Framework, C#, and Javascript (Node.js).

Sturdy is a library for developing sound static analyses in Haskell.

Lint all your JavaScript, CSS, HTML, Markdown and Dockerfiles with a single command

Hack library for converting untyped data to typed data.