Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: 16 Nov 2024
https://github.com/alecthomas/langx
Language experimentation.
compiler-design parser semantic-analysis type-analysis
Last synced: 27 Oct 2024
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: 01 Dec 2024
