Projects in Awesome Lists tagged with type-analysis
A curated list of projects in awesome lists tagged with type-analysis .
https://github.com/decomp/doc
Design documents related to the decompilation pipeline.
control-flow-analysis decompilation decompilation-pipeline decompiler llvm llvm-ir type-analysis
Last synced: 14 Apr 2025
https://github.com/alecthomas/langx
Language experimentation.
compiler-design parser semantic-analysis type-analysis
Last synced: 06 Mar 2026
https://github.com/jmid/luata-quickcheck
Lua type analysis and corresponding QuickCheck code
lattice lua property-based-testing prototype quickcheck static-analysis type-analysis
Last synced: 02 Mar 2026
