An open API service providing repository metadata for many open source software ecosystems.

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: 11 days ago - Pushed at: 11 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: 7 months ago - Pushed at: 7 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: 2 months ago - Pushed at: over 7 years ago - Stars: 6 - Forks: 1