801 Open source projects that are alternatives of or similar to Soot

Julia's CUTEst Interface

Topology Optimization using Python

Proximal operators for nonsmooth optimization in Julia

Static Analysis Compiler Plugin for Scala

Docker image that provides static analysis tools for PHP

Chronos - A static race detector for the go language

A tool to automatically fix PHP Coding Standards issues

Links to tools by subject

Python implementation of some numerical (optimization) methods

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

Fast Static File Analysis Framework

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

🐳 📡 Docker way of running SonarQube + any DB

These are my notes which I prepared during deep learning specialization taught by AI guru Andrew NG. I have used diagrams and code snippets from the code whenever needed but following The Honor Code.

A Psalm plugin for Laravel

Welcome to the Continuous Cloud Optimization Power BI Dashboard GitHub Project. In this repository you will find all the guidance and files needed to deploy the Dashboard in your environment to take benefit of a single pane of glass to get insights about your Azure resources and services.

Easy to use React components for optimized-images-loader / next-optimized-images.

Generic and efficient MATLAB solver for nonsmooth optimization problems

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

Process Map Visualization of event analysis in R

Python package for sensor placement optimization

Optimal transport algorithms for Julia

Node.js bindings for or-tools vehicle routing problems

Configuration files that allow cppcheck to provide better static analysis results

Owl - OCaml Scientific and Engineering Computing @ http://ocaml.xyz

Recurrent Back Propagation, Back Propagation Through Optimization, ICML 2018

Thoughts on Go performance optimization

PEPit is a package enabling computer-assisted worst-case analyses of first-order optimization methods.

Shift Scheduling for workforce

A single header-only C++ library for least squares fitting.

📚A list of core knowledge that most Android programmers need to know. (continuously updated...)

OpenJij : Framework for the Ising model and QUBO.

DEPRECATED -- DevSkim plugin for Sublime Text 3.

Repo and code of the IEEE UIC paper: Train++: An Incremental ML Model Training Algorithm to Create Self-Learning IoT Devices

Tool for automatic detection and asserting "N+1 SELECT problem" occurences in JPA based Spring Boot Java applications and finding origin of JPA issued SQL statements in general

The Operator Splitting QP Solver

DirectX9 to DirectX12 API proxy for Guild Wars 2

A simulation framework for Robotic Mobile Fulfillment Systems

Standalone linter for ABAP

Improved LBFGS optimizer in PyTorch.

a tool to perform static analysis of known vulnerabilities, trojans, viruses, malware & other malicious threats in docker images/containers and to monitor the docker daemon and running docker containers for detecting anomalous activities

Max-value Entropy Search for Efficient Bayesian Optimization

This repository contains the source code used to produce the results presented in the paper "Machine learning method for state preparation and gate synthesis on photonic quantum computers".

Experiments for distributed optimization algorithms

React.js server-side rendering optimization with component memoization and templatization

[yarrow] JVMCI based optimizing compiler for HotSpot VM

Analyses and reports testability issues of a php codebase

Bring fusion to everyone

A curated list of awesome Go linters. More than 60 linters and tools!

A language-generic implementation of equality saturation in Haskell

CSS Optimizer(csso) ruby wrapper for Rails Asset pipeline

ShellCheck, a static analysis tool for shell scripts

Static Analyzer for Solidity

The last Android cleaner you'll ever need!

GCC plugin that embeds CPython inside the compiler

C code refactoring browser

⚡ Useful scripts when using TensorRT

🧠 React memoization library we all deserve

The Quantum Machine Learning Toolbox (QMLT) is a Strawberry Fields application that simplifies the optimization of variational quantum circuits (also known as parametrized quantum circuits).

Serverless Plugin Webpack