# SpoonLabs/nopol

<https://repo.masters-masters.com/en/repos/SpoonLabs/nopol>

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

SpoonLabs/nopol has 105 stars on GitHub. Its RepoMasters card: Prototype tier. Automatic program repair system for Java based on dynamic analysis and code…

| Field | Value |
| --- | --- |
| Owner | [SpoonLabs](https://repo.masters-masters.com/en/owners/SpoonLabs) |
| Stars | 105 |
| Forks | 41 |
| Language | [Java](https://repo.masters-masters.com/en/languages/java) |
| License | GPL-2.0 |
| Created | 2015 |
| Topics | program-repair, patch-generation, smt |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [SpoonLabs/nopol](https://github.com/SpoonLabs/nopol) |

## Repository

Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.

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

## More repos by SpoonLabs

- [SpoonLabs/astor · ★ 214 · Java · Prototype](https://repo.masters-masters.com/en/repos/SpoonLabs/astor)
- [SpoonLabs/gumtree-spoon-ast-diff · ★ 182 · Java · Prototype](https://repo.masters-masters.com/en/repos/SpoonLabs/gumtree-spoon-ast-diff)
- [SpoonLabs/coming · ★ 102 · Java · Prototype](https://repo.masters-masters.com/en/repos/SpoonLabs/coming)

## Nearby in Java

- [mobilehackinglab/jadx-mcp-plugin · ★ 105 · Java · Prototype](https://repo.masters-masters.com/en/repos/mobilehackinglab/jadx-mcp-plugin)
- [spring-ai-community/agent-client · ★ 105 · Java · Prototype](https://repo.masters-masters.com/en/repos/spring-ai-community/agent-client)
- [hhhhhhhhhhhpro/Stream-Hub · ★ 105 · Java · Prototype](https://repo.masters-masters.com/en/repos/hhhhhhhhhhhpro/Stream-Hub)
- [Zapotek/raw2vmdk · ★ 105 · Java · Prototype](https://repo.masters-masters.com/en/repos/Zapotek/raw2vmdk)
- [doffm/android-dragarea · ★ 105 · Java · Prototype](https://repo.masters-masters.com/en/repos/doffm/android-dragarea)
- [oyse/yedit · ★ 105 · Java · Prototype](https://repo.masters-masters.com/en/repos/oyse/yedit)

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