# kframework/javascript-semantics

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

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

kframework/javascript-semantics has 106 stars on GitHub. Its RepoMasters card: Prototype tier. KJS: A Complete Formal Semantics of JavaScript

| Field | Value |
| --- | --- |
| Owner | [kframework](https://repo.masters-masters.com/en/owners/kframework) |
| Stars | 106 |
| Forks | 19 |
| Language | [JavaScript](https://repo.masters-masters.com/en/languages/javascript) |
| License | None |
| Created | 2013 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [kframework/javascript-semantics](https://github.com/kframework/javascript-semantics) |

## Repository

KJS: A Complete Formal Semantics of JavaScript

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by kframework

- [kframework/c-semantics · ★ 333 · C · Alpha](https://repo.masters-masters.com/en/repos/kframework/c-semantics)
- [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)

## Nearby in JavaScript

- [tubban1/fly-eye · ★ 106 · JavaScript · Prototype](https://repo.masters-masters.com/en/repos/tubban1/fly-eye)
- [AhmedRaza-2/naqsha-prototype · ★ 106 · JavaScript · Prototype](https://repo.masters-masters.com/en/repos/AhmedRaza-2/naqsha-prototype)
- [BlueKnightNet/Blue-Knight-Panel-meerasolution · ★ 106 · JavaScript · Prototype](https://repo.masters-masters.com/en/repos/BlueKnightNet/Blue-Knight-Panel-meerasolution)
- [jonleighton/date\_input · ★ 106 · JavaScript · Prototype](https://repo.masters-masters.com/en/repos/jonleighton/date_input)
- [weierophinney/pastebin · ★ 106 · JavaScript · Prototype](https://repo.masters-masters.com/en/repos/weierophinney/pastebin)
- [cleishm/jsmockito · ★ 106 · JavaScript · Prototype](https://repo.masters-masters.com/en/repos/cleishm/jsmockito)

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