1059 Open source projects that are alternatives of or similar to Tool_lists

Many many useful Web Online Tools For Web Developers&Programmers

PHP based user registration system. Built using CodeIgniter and Bootstrap. Has token based verification, password reset functionality, login page, register page and more.

Build deep learning applications in a new and easy way.

persistent monitor (for static source code analysis, GCC based)

DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)

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

CK repository with components and automation actions to enable portable workflows across diverse platforms including Linux, Windows, MacOS and Android. It includes software detection plugins and meta packages (code, data sets, models, scripts, etc) with the possibility of multiple versions to co-exist in a user or system environment:

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

A tool for linting and static analysis of Lua code.

Inline your lint messages

Extract firmware images from an Android OTA payload.bin file

Quality Police for Java projects: aggregator of Checkstyle, PMD, and SpotBugs

Main repository of the Vigor NF verification project.

A tool for verifying links in text-based files

React Native wrapper for Android's SMS User Consent API, ready to use in React Native apps with minimum effort.

The VerCors verification toolset for verifying parallel and concurrent software

⚙️ Scan your Java, Kotlin, PHP, Python, JavaScript, TypeScript projects at GitHub with Qodana

Universal AWS Lambda packager

PhpCodeAnalyzer scans codebase and analyzes which non-built-in php extensions used

*DEPRECATED* Symfony extension for PHPStan

Static and dynamic Android application security analysis

my personal collection of awesome projects, links, books.

Type-safe Lua IDE Plugin for IntelliJ IDEA

JAW: A Graph-based Security Analysis Framework for JavaScript and Client-side CSRF

No description or website provided.

✨🚀 Blazing fast, inferred static type checker for JavaScript.

Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.

contrib/amcheck from Postgres v11 backported to earlier Postgres versions

No description or website provided.

Code Climate engine for code duplication analysis

Go static program analyser

Docker image for Alpine Linux with latest ShellCheck, a static analysis tool for shell scripts.

A static analysis and linter tool for Lua

Very WIP static analysis for Lua

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

SQL Server static code analysis rules for SSDT database projects

Active Directory strategy for passport.js

A list of tools, papers and code related to Deepfake Detection.

Static analysis of IEC 61131-3 programs

A JSON library implemented in VHDL.

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

Ruby on Rails Continuous Deployment Ecosystem to maintain Healthy Stable Development

Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage

coala base docker image

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

Secure Terminal Sharing

Functional verification project for the CORE-V family of RISC-V cores.

The Eldarica model checker

MQT QCEC - A tool for Quantum Circuit Equivalence Checking

This Script will help you to gather information about your victim or friend.

PCIe (1.0a to 2.0) Virtual host model for verilog

A set of opinionated and useful lint checks

Eurge js 脚本代码

ESLint plugin for Scoped CSS in Vue.js

🕵🏻‍♂️ Collect data about your dependencies

VATA Tree Automata Library

Cross-platform, generic language, Pact provider verification tool

Z-EVES for linux. Probably the only place you can find it

Project X-Ray Database: XC7 Series

🔑 Helper class to verify one's identity via personal channels(SMS, Phone, E-Mail and more!)