type-analysis

There are 6 repositories under type-analysis topic.

decomp/doc
Design documents related to the decompilation pipeline.
Language:TeX25 5 483
GrammaTech/retypd-ghidra-plugin
Retypd plugin for Ghidra reverse engineering framework from NSA
Language:Java22 8 13
alecthomas/langx
Language experimentation.
Language:Go21 3 16
jmid/luata-quickcheck
Lua type analysis and corresponding QuickCheck code
Language:HTML6 5 31
MisaghM/Compiler-Course-Projects
A compiler written using ANTLR with Java for the programming language LogicPL.
Language:Java1 3 02
alighanbari2002/Compiler-and-Programming-Languages-Design-Course-Projects
A compiler written using ANTLR with Java for the programming language LogicPL.
Language:Java0 1 00