Explore Projects

Discover 2 open source projects

Active filters (1):
Search: data-flow-analysisร—
Clear all

Showing 1-2 of 2 projects

grin-compiler/grin

A compiler back-end for lazy and strict functional languages with whole program optimization support.

1.1K
Experimental
Haskell
API Frameworks
CLI Tools
Haskell
#compiler#functional-programming#optimization

secure-software-engineering/phasar

A powerful LLVM-based static analysis framework for C/C++ developers to improve code quality and security.

1.0K
Active
C++
CLI Tools
Static Analysis
#c++#llvm#program-analysis

Stay in the loop

Get weekly updates on trending AI coding tools and projects.