# eth-sri/Nice2Predict

<https://repo.masters-masters.com/en/repos/eth-sri/Nice2Predict>

[Home](https://repo.masters-masters.com/en) › [eth-sri](https://repo.masters-masters.com/en/owners/eth-sri) › [Nice2Predict](https://repo.masters-masters.com/en/repos/eth-sri/Nice2Predict)

eth-sri/Nice2Predict has 219 stars on GitHub. Its RepoMasters card: Prototype tier. Learning framework for program property prediction Language: C++.

| Field | Value |
| --- | --- |
| Owner | [eth-sri](https://repo.masters-masters.com/en/owners/eth-sri) |
| Stars | 219 |
| Forks | 52 |
| Language | [C++](https://repo.masters-masters.com/en/languages/c-plus-plus) |
| License | Apache-2.0 |
| Created | 2015 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [eth-sri/Nice2Predict](https://github.com/eth-sri/Nice2Predict) |

## Repository

Learning framework for program property prediction

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

## More repos by eth-sri

- [eth-sri/lmql · ★ 4,222 · Python · RC](https://repo.masters-masters.com/en/repos/eth-sri/lmql)
- [eth-sri/securify2 · ★ 635 · Solidity · Alpha](https://repo.masters-masters.com/en/repos/eth-sri/securify2)
- [eth-sri/debin · ★ 454 · Python · Alpha](https://repo.masters-masters.com/en/repos/eth-sri/debin)
- [eth-sri/eran · ★ 347 · Python · Alpha](https://repo.masters-masters.com/en/repos/eth-sri/eran)
- [eth-sri/matharena · ★ 294 · Python · Alpha](https://repo.masters-masters.com/en/repos/eth-sri/matharena)
- [eth-sri/securify · ★ 223 · Java · Prototype](https://repo.masters-masters.com/en/repos/eth-sri/securify)

## Nearby in C++

- [PRQELT/Autonomix · ★ 219 · C++ · Prototype](https://repo.masters-masters.com/en/repos/PRQELT/Autonomix)
- [EnderMo/PoggetCore · ★ 219 · C++ · Prototype](https://repo.masters-masters.com/en/repos/EnderMo/PoggetCore)
- [bc160201983/medievil\_2019\_pc\_port · ★ 219 · C++ · Prototype](https://repo.masters-masters.com/en/repos/bc160201983/medievil_2019_pc_port)
- [scriptdev2/scriptdev2 · ★ 219 · C++ · Prototype](https://repo.masters-masters.com/en/repos/scriptdev2/scriptdev2)
- [ot/succinct · ★ 219 · C++ · Prototype](https://repo.masters-masters.com/en/repos/ot/succinct)
- [beltoforion/Galaxy-Renderer · ★ 219 · C++ · Prototype](https://repo.masters-masters.com/en/repos/beltoforion/Galaxy-Renderer)

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