# GaloisInc/grease

<https://repo.masters-masters.com/en/repos/GaloisInc/grease>

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

GaloisInc/grease has 134 stars on GitHub. Its RepoMasters card: Prototype tier. CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using…

| Field | Value |
| --- | --- |
| Owner | [GaloisInc](https://repo.masters-masters.com/en/owners/GaloisInc) |
| Stars | 134 |
| Forks | 11 |
| Language | [Haskell](https://repo.masters-masters.com/en/languages/haskell) |
| License | BSD-3-Clause |
| Created | 2025 |
| Topics | binary-analysis, ghidra-plugin, program-analysis, symbolic-execution, under-constrained-symbolic-execution, haskell, haskell-library |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [GaloisInc/grease](https://github.com/GaloisInc/grease) |

## Repository

CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution

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

## More repos by GaloisInc

- [GaloisInc/cryptol · ★ 1,227 · Haskell · Beta](https://repo.masters-masters.com/en/repos/GaloisInc/cryptol)
- [GaloisInc/HaLVM · ★ 1,069 · Haskell · Beta](https://repo.masters-masters.com/en/repos/GaloisInc/HaLVM)
- [GaloisInc/crucible · ★ 781 · Haskell · Beta](https://repo.masters-masters.com/en/repos/GaloisInc/crucible)
- [GaloisInc/saw-script · ★ 525 · Haskell · Alpha](https://repo.masters-masters.com/en/repos/GaloisInc/saw-script)
- [GaloisInc/ivory · ★ 417 · Haskell · Alpha](https://repo.masters-masters.com/en/repos/GaloisInc/ivory)
- [GaloisInc/swanky · ★ 366 · Sieve · Alpha](https://repo.masters-masters.com/en/repos/GaloisInc/swanky)

## Nearby in Haskell

- [bschwb/cis194-solutions · ★ 134 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/bschwb/cis194-solutions)
- [Plutonomicon/plutarch-plutus · ★ 134 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/Plutonomicon/plutarch-plutus)
- [garnix-io/nixos-compose · ★ 134 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/garnix-io/nixos-compose)
- [ollef/Bidirectional · ★ 134 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/ollef/Bidirectional)

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