GitHub topics: type-analysis
decomp/doc
Design documents related to the decompilation pipeline.
Language: TeX - Size: 31.2 MB - Last synced at: about 2 months ago - Pushed at: about 5 years ago - Stars: 26 - Forks: 3
alecthomas/langx
Language experimentation.
Language: Go - Size: 120 KB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 21 - Forks: 6
AliAtaollahi/Compiler-Course-Projects
UT Trade Compiler: Projects for the Design Compiler Course at the University of Tehran (Fall 2023)
Language: Java - Size: 7.07 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 2 - Forks: 0
alighanbari2002/Compiler-and-Programming-Languages-Design-Course-Projects
A compiler written using ANTLR with Java for the programming language LogicPL.
Language: Java - Size: 3.8 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
MisaghM/Compiler-Course-Projects
A compiler written using ANTLR with Java for the programming language LogicPL.
Language: Java - Size: 887 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
GrammaTech/retypd-ghidra-plugin
Retypd plugin for Ghidra reverse engineering framework from NSA
Language: Java - Size: 86.9 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 17 - Forks: 1
jmid/luata-quickcheck
Lua type analysis and corresponding QuickCheck code
Language: HTML - Size: 1.93 MB - Last synced at: 3 months ago - Pushed at: over 7 years ago - Stars: 6 - Forks: 1
