Complementarity.jlprovides a modeling interface for mixed complementarity problems (MCP) and math programs with equilibrium problems (MPEC) via JuMP
Stars: ✭ 54 (-97.36%)
ApplicationinspectorA source code analyzer built for surfacing features of interest and other characteristics to answer the question 'What's in the code?' quickly using static analysis with a json based rules engine. Ideal for scanning components before use or detecting feature level changes.
Stars: ✭ 3,873 (+89.02%)
Riskparity.pyFast and scalable design of risk parity portfolios
Stars: ✭ 122 (-94.05%)
OnelogDead simple, super fast, zero allocation and modular logger for Golang
Stars: ✭ 389 (-81.02%)
DspAn open-source parallel optimization solver for structured mixed-integer programming
Stars: ✭ 53 (-97.41%)
EngineDroidefense: Advance Android Malware Analysis Framework
Stars: ✭ 386 (-81.16%)
DistsIQA: Deep Image Structure and Texture Similarity Metric
Stars: ✭ 101 (-95.07%)
EnlightnYour performance & security consultant, an artisan command away.
Stars: ✭ 378 (-81.55%)
CognicryptCogniCrypt is an Eclipse plugin that supports Java developers in using Java Cryptographic APIs.
Stars: ✭ 50 (-97.56%)
BlackboxA Python module for parallel optimization of expensive black-box functions
Stars: ✭ 378 (-81.55%)
MutantAutomated code reviews via mutation testing - semantic code coverage.
Stars: ✭ 1,794 (-12.45%)
Dss📄 Documented Style Sheets Parser
Stars: ✭ 375 (-81.7%)
Gd UapGeneralized Data-free Universal Adversarial Perturbations
Stars: ✭ 50 (-97.56%)
IfoptAn Eigen-based, light-weight C++ Interface to Nonlinear Programming Solvers (Ipopt, Snopt)
Stars: ✭ 372 (-81.84%)
AdvisorOpen-source implementation of Google Vizier for hyper parameters tuning
Stars: ✭ 1,359 (-33.67%)
Reflective BindEliminate wasteful re-rendering in React components caused by inline functions
Stars: ✭ 366 (-82.14%)
TinystrA small ASCII-only bounded length string representation.
Stars: ✭ 48 (-97.66%)
WssatWEB SERVICE SECURITY ASSESSMENT TOOL
Stars: ✭ 360 (-82.43%)
Clang Tools Extra Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
Stars: ✭ 358 (-82.53%)
IntellidroidA targeted input generator for Android that improves the effectiveness of dynamic malware analysis.
Stars: ✭ 46 (-97.76%)
DetektStatic code analysis for Kotlin
Stars: ✭ 4,169 (+103.47%)
ExakatThe Exakat Engine : smart static analysis for PHP
Stars: ✭ 346 (-83.11%)
StoatSTatic (LLVM) Object file Analysis Tool
Stars: ✭ 44 (-97.85%)
CodecompassCodeCompass is a software comprehension tool for large scale software written in C/C++ and Java
Stars: ✭ 342 (-83.31%)
Search Engine Optimization🔍 A helpful checklist/collection of Search Engine Optimization (SEO) tips and techniques.
Stars: ✭ 1,798 (-12.25%)
Cppcheckstatic analysis of C/C++ code
Stars: ✭ 3,845 (+87.65%)
Gasmodels.jlA Julia/JuMP Package for Gas Network Optimization
Stars: ✭ 43 (-97.9%)
SemgrepLightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Stars: ✭ 5,668 (+176.62%)
QreverseA small study in hardware accelerated AoS reversal
Stars: ✭ 97 (-95.27%)
DomtresatDominator Tree LLVM Pass to Test Satisfiability
Stars: ✭ 42 (-97.95%)
ClangkitClangKit provides an Objective-C frontend to LibClang. Source tokenization, diagnostics and fix-its are actually implemented.
Stars: ✭ 330 (-83.89%)
Serverless LayersServerless.js plugin that implements AWS Lambda Layers which reduces drastically lambda size, warm-up and deployment time.
Stars: ✭ 119 (-94.19%)
PmdAn extensible multilanguage static code analyzer.
Stars: ✭ 3,667 (+78.97%)
Model OptimizationA toolkit to optimize ML models for deployment for Keras and TensorFlow, including quantization and pruning.
Stars: ✭ 992 (-51.59%)
UnimportA linter, formatter for finding and removing unused import statements.
Stars: ✭ 96 (-95.31%)
DlintDlint is a tool for encouraging best coding practices and helping ensure we're writing secure Python code.
Stars: ✭ 320 (-84.38%)
CvxpyA Python-embedded modeling language for convex optimization problems.
Stars: ✭ 3,645 (+77.89%)
Dependency CruiserValidate and visualize dependencies. Your rules. JavaScript, TypeScript, CoffeeScript. ES6, CommonJS, AMD.
Stars: ✭ 2,326 (+13.52%)
React ScopeVisualize your React components as you interact with your application.
Stars: ✭ 316 (-84.58%)
K Means ConstrainedK-Means clustering - constrained with minimum and maximum cluster size
Stars: ✭ 33 (-98.39%)
PytypeA static type analyzer for Python code
Stars: ✭ 3,545 (+73.01%)
LimesLink Discovery Framework for Metric Spaces.
Stars: ✭ 94 (-95.41%)
JaadasJoint Advanced Defect assEsment for android applications
Stars: ✭ 304 (-85.16%)
Cfmtcfmt is a tool to wrap Go comments over a certain length to a new line.
Stars: ✭ 28 (-98.63%)
Go CallvisVisualize call graph of a Go program using Graphviz
Stars: ✭ 3,692 (+80.19%)
Config LintCommand line tool to validate configuration files
Stars: ✭ 118 (-94.24%)
ShellcheckShellCheck, a static analysis tool for shell scripts
Stars: ✭ 27,211 (+1228.01%)
OkalgoIdiomatic Kotlin extensions for ojAlgo
Stars: ✭ 20 (-99.02%)
LtecleanerfossThe last Android cleaner you'll ever need!
Stars: ✭ 141 (-93.12%)
Gcc Python PluginGCC plugin that embeds CPython inside the compiler
Stars: ✭ 140 (-93.17%)
CscoutC code refactoring browser
Stars: ✭ 139 (-93.22%)
Tensorrt Utils⚡ Useful scripts when using TensorRT
Stars: ✭ 136 (-93.36%)
React Memoize🧠 React memoization library we all deserve
Stars: ✭ 125 (-93.9%)
QmltThe Quantum Machine Learning Toolbox (QMLT) is a Strawberry Fields application that simplifies the optimization of variational quantum circuits (also known as parametrized quantum circuits).
Stars: ✭ 106 (-94.83%)