Design documents related to the decompilation pipeline.
-
Updated
May 20, 2020 - TeX
Design documents related to the decompilation pipeline.
Retypd plugin for Ghidra reverse engineering framework from NSA
Language experimentation.
UT Trade Compiler: Projects for the Design Compiler Course at the University of Tehran (Fall 2023)
Lua type analysis and corresponding QuickCheck code
A compiler written using ANTLR with Java for the programming language LogicPL.
"Procesadores de Lenguajes" web site. Written in nextra
A compiler written using ANTLR with Java for the programming language LogicPL.
Add a description, image, and links to the type-analysis topic page so that developers can more easily learn about it.
To associate your repository with the type-analysis topic, visit your repo's landing page and select "manage topics."