# Generative-Program-Analysis/GenSym

<https://repo.masters-masters.com/en/repos/Generative-Program-Analysis/GenSym>

[Home](https://repo.masters-masters.com/en) › [Generative-Program-Analysis](https://repo.masters-masters.com/en/owners/Generative-Program-Analysis) › [GenSym](https://repo.masters-masters.com/en/repos/Generative-Program-Analysis/GenSym)

Generative-Program-Analysis/GenSym has 151 stars on GitHub. Its RepoMasters card: Prototype tier. A high-performance, parallel, compilation-based symbolic…

| Field | Value |
| --- | --- |
| Owner | [Generative-Program-Analysis](https://repo.masters-masters.com/en/owners/Generative-Program-Analysis) |
| Stars | 151 |
| Forks | 9 |
| Language | [LLVM](https://repo.masters-masters.com/en/languages/llvm) |
| License | None |
| Created | 2022 |
| Topics | compiler, metaprogramming, multi-stage-programming, scala, symbolic-execution, symbolic-execution-engine |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [Generative-Program-Analysis/GenSym](https://github.com/Generative-Program-Analysis/GenSym) |

## Repository

A high-performance, parallel, compilation-based symbolic execution engine

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

## Nearby in LLVM

- [grinisrit/noa · ★ 156 · LLVM · Prototype](https://repo.masters-masters.com/en/repos/grinisrit/noa)
- [ZERO-A-ONE/AngrCTF\_FITM · ★ 155 · LLVM · Prototype](https://repo.masters-masters.com/en/repos/ZERO-A-ONE/AngrCTF_FITM)
- [Aethereux/Hikari-LLVM19 · ★ 153 · LLVM · Prototype](https://repo.masters-masters.com/en/repos/Aethereux/Hikari-LLVM19)
- [schism-dev/schism · ★ 150 · LLVM · Prototype](https://repo.masters-masters.com/en/repos/schism-dev/schism)
- [Lakr233/TreeNewBee · ★ 150 · LLVM · Prototype](https://repo.masters-masters.com/en/repos/Lakr233/TreeNewBee)
- [remotemcu/adin-llvm · ★ 145 · LLVM · Prototype](https://repo.masters-masters.com/en/repos/remotemcu/adin-llvm)

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