10 results found Sort:

717
3.0k
lgpl-2.1
101
Soot - A Java optimization framework
Created 2012-06-20
7,570 commits to develop branch, last one 4 days ago
577
2.8k
other
107
Dynamic Instrumentation Tool Platform
Created 2014-11-27
6,815 commits to master branch, last one 3 days ago
42
379
other
16
The Exakat Engine : smart static analysis for PHP
Created 2015-11-04
16,940 commits to master branch, last one 3 years ago
29
174
apache-2.0
20
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
55 commits to main branch, last one 6 days ago
6
90
epl-2.0
8
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 4 months 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 about a year ago
5
36
gpl-3.0
1
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