AlphaUncommon
kframework/c-semantics
Semantics of C in K
- Owner
- kframework (organization)
- Stars
- Stars: 333
- Forks
- Forks: 46
- Language
- C
- License
- None
- Created
- 2013
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by kframework
All 4 repos by kframework- kframework/X86-64-semanticsStars: 179AssemblyPrototype
- kframework/k-legacyStars: 147JavaPrototype
- kframework/javascript-semanticsStars: 106JavaScriptPrototype
Nearby in C
All C repos- rxi/kitStars: 333CAlpha
- hakaioffsec/CVE-2024-21338Stars: 333CAlpha
- shaddy43/BrowserSnatchStars: 333CAlpha
- lukeweber/webrtc-jingle-clientStars: 333CAlpha
- osmocom/osmocom-bbStars: 333CAlpha
- CyberGrandChallenge/samplesStars: 333CAlpha