type-analysis

There are 9 repositories under type-analysis topic.

decomp/doc
Design documents related to the decompilation pipeline.
Language:TeX29 4 483
alecthomas/langx
Language experimentation.
Language:Go22 2 17
GrammaTech/retypd-ghidra-plugin
Retypd plugin for Ghidra reverse engineering framework from NSA
Language:Java22 7 14
AliAtaollahi/Compiler-Course-Projects
UT Trade Compiler: Projects for the Design Compiler Course at the University of Tehran (Fall 2023)
Language:Java7 1 00
jmid/luata-quickcheck
Lua type analysis and corresponding QuickCheck code
Language:HTML5 5 31
Shahriar-0/Programming-Languages-and-Compiler-Course-Projects-S2024
compiler course projects to design and implement different parts of a compiler for a new language called FunctionCraft
Language:Java2 1 3
crguezl/pl-nextra
"Procesadores de Lenguajes" web site. Written in nextra
Language:MDX1 1 01
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