# GaloisInc/crucible

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

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

GaloisInc/crucible has 781 stars on GitHub. Its RepoMasters card: Beta tier. Crucible is a library for symbolic simulation of imperative programs

| Field | Value |
| --- | --- |
| Owner | [GaloisInc](https://repo.masters-masters.com/en/owners/GaloisInc) |
| Stars | 781 |
| Forks | 48 |
| Language | [Haskell](https://repo.masters-masters.com/en/languages/haskell) |
| License | BSD-3-Clause |
| Created | 2016 |
| Tier | [Beta (700 to 1,999 ★)](https://repo.masters-masters.com/en/ranks/box_office) |
| View on GitHub | [GaloisInc/crucible](https://github.com/GaloisInc/crucible) |

## Repository

Crucible is a library for symbolic simulation of imperative programs

The tier for repos with 700 to 1,999 ★. Published odds per card pulled: 6%. Rarity: Rare.

## 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/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)
- [GaloisInc/reopt · ★ 344 · LLVM · Alpha](https://repo.masters-masters.com/en/repos/GaloisInc/reopt)

## Nearby in Haskell

- [nick8325/quickcheck · ★ 792 · Haskell · Beta](https://repo.masters-masters.com/en/repos/nick8325/quickcheck)
- [hspec/hspec · ★ 785 · Haskell · Beta](https://repo.masters-masters.com/en/repos/hspec/hspec)
- [ollef/sixten · ★ 785 · Haskell · Beta](https://repo.masters-masters.com/en/repos/ollef/sixten)
- [snowleopard/alga · ★ 763 · Haskell · Beta](https://repo.masters-masters.com/en/repos/snowleopard/alga)
- [zachjs/sv2v · ★ 761 · Haskell · Beta](https://repo.masters-masters.com/en/repos/zachjs/sv2v)
- [haskell-distributed/distributed-process · ★ 755 · Haskell · Beta](https://repo.masters-masters.com/en/repos/haskell-distributed/distributed-process)

---
Data: GitHub · Illustration: the project’s public image, pixelated by RepoMasters.