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

Read-only mirror of the Klever Git repository

SeaHorn Verification Framework

Software Quality Wiki

TLA+ language support for Visual Studio Code

TLA+ language support for Visual Studio Code

Static checker for Java

A Coq-based synthesis of Scala programs which are correct-by-construction

A dual clock asynchronous FIFO written in verilog, tested with Icarus Verilog

HACL*, a formally verified cryptographic library written in F*

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

CoreIR Symbolic Analyzer

Verification framework and tool for higher-order Scala programs

Concuerror is a stateless model checking tool for Erlang programs.

GitHub action to set up PHP with extensions, php.ini configuration, coverage drivers, and various tools.

Experimental Smart Contracts In Plutus.

IMITATOR

Temporal Logic Planning toolbox

VHDL-2008 Support Library

A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.

Kani Rust Verifier

Intrepyd Model Checker

Official Tensorflow implementation of "Symmetrical Synthesis for Deep Metric Learning" (AAAI 2020)

Kubernetes RBAC static Analysis & visualisation tool

Awesome Networking Tools Sandbox

File systems verification utility and library, in likeness of mtree(8)

Remot3d: is a simple tool created for large pentesters as well as just for the pleasure of defacers to control server by backdoors

mobsfscan is a static analysis tool that can find insecure code patterns in your Android and iOS source code. Supports Java, Kotlin, Swift, and Objective C Code. mobsfscan uses MobSF static analysis rules and is powered by semgrep and libsast pattern matcher.

CLI tool to see redis memory usage by keys in hierarchical way. Think of disk inventory but for redis.

Awesome ASIC design verification

openFrameworks addon for audio synthesis and generative music

No description or website provided.

🚪A super lightweight jumpserver service developed using the Go language. 一个使用 Go 语言开发的，超级轻量的跳板机服务。

Program analysis playground for a simple, imperative language

Hundreds of Offensive and Useful Docker Images for Network Intrusion. The name says it all.

Build deep learning applications in a new and easy way.

Extract firmware images from an Android OTA payload.bin file

my personal collection of awesome projects, links, books.

Code Climate engine for code duplication analysis

A Simple PE File Heuristics Scanners

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

Secure Terminal Sharing

Good resources about web security that I have read.

Axway API-Management CLI - Manage your platform from the command line or with your CI/CD pipeline

Eurge js 脚本代码

Configuration files that allow cppcheck to provide better static analysis results

A collection of tools for developing Solidus extensions.

Setup scripts for various dev tools, utilities, SDKs and CLI stuff

A Golang tool that does static analysis, unit testing, code review and generate code quality report.

Library and CLI tool for analysing CloudFormation templates and check them for security compliance.

Use Elixir like a scripting language, across your system

A creative coding library.

uuu scripts for recovery console and flashing

This Github Action runs Bridgecrew against an Infrastructure-as-Code repository. Bridgecrew performs static security analysis of Terraform & CloudFormation Infrastructure code.

A linter, formatter for finding and removing unused import statements.

Setup / utilities which most projects eventually need

Lobe is the world's first AI paralegal.

System for synthesizing Java API idioms, powered by Neural Sketch Learning

⛵ Keep your favorite starter kits just a command away

sleigh craft!

Webpage offering a wide range of online tools