# kframework/c-semantics

<https://repo.masters-masters.com/en/repos/kframework/c-semantics>

[Home](https://repo.masters-masters.com/en) › [kframework](https://repo.masters-masters.com/en/owners/kframework) › [c-semantics](https://repo.masters-masters.com/en/repos/kframework/c-semantics)

kframework/c-semantics has 333 stars on GitHub. Its RepoMasters card: Alpha tier. Semantics of C in K Language: C.

| Field | Value |
| --- | --- |
| Owner | [kframework](https://repo.masters-masters.com/en/owners/kframework) |
| Stars | 333 |
| Forks | 46 |
| Language | [C](https://repo.masters-masters.com/en/languages/c) |
| License | None |
| Created | 2013 |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [kframework/c-semantics](https://github.com/kframework/c-semantics) |

## Repository

Semantics of C in K

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by kframework

- [kframework/X86-64-semantics · ★ 179 · Assembly · Prototype](https://repo.masters-masters.com/en/repos/kframework/X86-64-semantics)
- [kframework/k-legacy · ★ 147 · Java · Prototype](https://repo.masters-masters.com/en/repos/kframework/k-legacy)
- [kframework/javascript-semantics · ★ 106 · JavaScript · Prototype](https://repo.masters-masters.com/en/repos/kframework/javascript-semantics)

## Nearby in C

- [hakaioffsec/CVE-2024-21338 · ★ 333 · C · Alpha](https://repo.masters-masters.com/en/repos/hakaioffsec/CVE-2024-21338)
- [shaddy43/BrowserSnatch · ★ 333 · C · Alpha](https://repo.masters-masters.com/en/repos/shaddy43/BrowserSnatch)
- [knulli-cfw/knulli-linux · ★ 333 · C · Alpha](https://repo.masters-masters.com/en/repos/knulli-cfw/knulli-linux)
- [lukeweber/webrtc-jingle-client · ★ 333 · C · Alpha](https://repo.masters-masters.com/en/repos/lukeweber/webrtc-jingle-client)
- [osmocom/osmocom-bb · ★ 333 · C · Alpha](https://repo.masters-masters.com/en/repos/osmocom/osmocom-bb)
- [CyberGrandChallenge/samples · ★ 333 · C · Alpha](https://repo.masters-masters.com/en/repos/CyberGrandChallenge/samples)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.