10 results found Sort:

712
2.9k
lgpl-2.1
102
Soot - A Java optimization framework
Created 2012-06-20
7,534 commits to develop branch, last one 3 days ago
566
2.7k
other
107
Dynamic Instrumentation Tool Platform
Created 2014-11-27
6,636 commits to master branch, last one 13 hours ago
43
379
other
17
The Exakat Engine : smart static analysis for PHP
Created 2015-11-04
16,940 commits to master branch, last one 2 years ago
42
218
apache-2.0
30
MPLSandbox is an out-of-the-box multi-programming language sandbox designed to provide unified and comprehensive feedback from compiler and analysis tools for LLMs.
Created 2024-10-29
42 commits to main branch, last one about a month ago
6
90
epl-2.0
9
Incremental Program Analysis Framework
This repository has been archived (exclude archived)
Created 2017-12-18
182 commits to master branch, last one 3 years ago
29
79
gpl-3.0
10
The OpenATS COMPASS (Compliance Assessment) tool aims at providing a generalized framework for air-traffic surveillance data analysis, visualization & evaluation.
Created 2017-10-26
3,881 commits to master branch, last one 15 days ago
ANYstructure is the ultimate steel structure design tool for plate fields and cylinders. Weight optimization for all structures with machine learning capabilities. Calculations are based on DNV standa...
Created 2018-04-10
905 commits to master branch, last one 9 months ago
5
36
gpl-3.0
2
Framework for Interactive Evaluation of Recommender Systems
Created 2022-03-03
210 commits to master branch, last one about a year ago
a dataflow analysis framework implemented in Go, like soot
Created 2022-08-25
62 commits to main branch, last one 2 years ago