rems-project/linksem
Semantic model for aspects of ELF static linking and DWARF debug information
Standard MLNOASSERTION
Stargazers
- 0n3t04ll
- aa755Miami, FL, USA
- agnosticlines[object Object]
- bacam
- BlaisorbladeBedrock Systems Inc.
- broSysX64
- danien
- dtzWilldtzTech
- dukecat0Hong Kong
- esdnm
- fabiensironEpita
- GJDuckNational University of Singapore
- gleachkrDraper Laboratory
- hannesm@robur-coop
- HaoZeke@Quansight-Labs, @TheochemUI
- Hua-hanaShanghai Jiao Tong University
- jevinskieLafayette, Indiana
- jolbyEvocomputing, Inc.
- jryansLondon, UK
- ksco@plctlab
- lzy0505@logsem
- MattPD
- mrluanmaShanghai, China
- rottrevore
- savi2w@creme-tech
- senderistaGaia Platform
- Skyluker4The University of Arkansas
- smondetNew York, NY
- smorimoto@ocaml @tc39
- thanhtoan1196
- thmleary
- tianrui-wei@ucb-bar
- unsoundsystemJapan
- XZ-X
- yusungsimKAIST
- zmughalWashington, D.C. - Baltimore, Maryland area, United States of America, Earth, Galactic Sector ZZ9 Plural Z Alpha