# levjj/esverify

<https://repo.masters-masters.com/en/repos/levjj/esverify>

[Home](https://repo.masters-masters.com/en) › [levjj](https://repo.masters-masters.com/en/owners/levjj) › [esverify](https://repo.masters-masters.com/en/repos/levjj/esverify)

levjj/esverify has 127 stars on GitHub. Its RepoMasters card: Prototype tier. ECMAScript verification with SMT solvers Language: TypeScript.

| Field | Value |
| --- | --- |
| Owner | [levjj](https://repo.masters-masters.com/en/owners/levjj) |
| Stars | 127 |
| Forks | 5 |
| Language | [TypeScript](https://repo.masters-masters.com/en/languages/typescript) |
| License | MIT |
| Created | 2016 |
| Topics | javascript, verification |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [levjj/esverify](https://github.com/levjj/esverify) |

## Repository

ECMAScript verification with SMT solvers

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

## Nearby in TypeScript

- [farcasterxyz/client · ★ 127 · TypeScript · Prototype](https://repo.masters-masters.com/en/repos/farcasterxyz/client)
- [delexw/motion-graphics-agent · ★ 127 · TypeScript · Prototype](https://repo.masters-masters.com/en/repos/delexw/motion-graphics-agent)
- [dbx0/executioner · ★ 127 · TypeScript · Prototype](https://repo.masters-masters.com/en/repos/dbx0/executioner)
- [ictinnovations/ictdialer · ★ 127 · TypeScript · Prototype](https://repo.masters-masters.com/en/repos/ictinnovations/ictdialer)
- [sapegin/richtypo.js · ★ 127 · TypeScript · Prototype](https://repo.masters-masters.com/en/repos/sapegin/richtypo.js)
- [zouabimourad/angular2-spring · ★ 127 · TypeScript · Prototype](https://repo.masters-masters.com/en/repos/zouabimourad/angular2-spring)

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