# angr/claripy

<https://repo.masters-masters.com/en/repos/angr/claripy>

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

angr/claripy has 335 stars on GitHub. Its RepoMasters card: Alpha tier. An abstraction layer for constraint solvers. Language: Python.

| Field | Value |
| --- | --- |
| Owner | [angr](https://repo.masters-masters.com/en/owners/angr) |
| Stars | 335 |
| Forks | 106 |
| Language | [Python](https://repo.masters-masters.com/en/languages/python) |
| License | BSD-2-Clause |
| Created | 2015 |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [angr/claripy](https://github.com/angr/claripy) |

## Repository

An abstraction layer for constraint solvers.

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

## More repos by angr

- [angr/angr · ★ 9,300 · Python · Stable](https://repo.masters-masters.com/en/repos/angr/angr)
- [angr/angr-management · ★ 1,201 · Python · Beta](https://repo.masters-masters.com/en/repos/angr/angr-management)
- [angr/angrop · ★ 866 · Python · Beta](https://repo.masters-masters.com/en/repos/angr/angrop)
- [angr/angr-doc · ★ 850 · TeX · Beta](https://repo.masters-masters.com/en/repos/angr/angr-doc)
- [angr/rex · ★ 652 · Python · Alpha](https://repo.masters-masters.com/en/repos/angr/rex)
- [angr/cle · ★ 490 · Python · Alpha](https://repo.masters-masters.com/en/repos/angr/cle)

## Nearby in Python

- [Johnson-Durui/Companion-Space · ★ 335 · Python · Alpha](https://repo.masters-masters.com/en/repos/Johnson-Durui/Companion-Space)
- [DevDock-AI/claude-unlimited · ★ 335 · Python · Alpha](https://repo.masters-masters.com/en/repos/DevDock-AI/claude-unlimited)
- [soimy/c3rb3r-rescue · ★ 335 · Python · Alpha](https://repo.masters-masters.com/en/repos/soimy/c3rb3r-rescue)
- [jacobian/django-pjax · ★ 335 · Python · Alpha](https://repo.masters-masters.com/en/repos/jacobian/django-pjax)
- [caffeinehit/django-oauth2-provider · ★ 335 · Python · Alpha](https://repo.masters-masters.com/en/repos/caffeinehit/django-oauth2-provider)
- [cvandeplas/pystemon · ★ 335 · Python · Alpha](https://repo.masters-masters.com/en/repos/cvandeplas/pystemon)

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