# Generative-Program-Analysis/GenSym

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

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

Generative-Program-Analysis/GenSym, dépôt open source à 151 étoiles sur GitHub. Carte Prototype de RepoMasters. A high-performance, parallel… Langage : LLVM.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [Generative-Program-Analysis](https://repo.masters-masters.com/owners/Generative-Program-Analysis) |
| Étoiles | 151 |
| Forks | 9 |
| Langage | [LLVM](https://repo.masters-masters.com/languages/llvm) |
| Licence | Aucune |
| Création | 2022 |
| Sujets | compiler, metaprogramming, multi-stage-programming, scala, symbolic-execution, symbolic-execution-engine |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [Generative-Program-Analysis/GenSym](https://github.com/Generative-Program-Analysis/GenSym) |

## Fiche du dépôt

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

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## D’autres dépôts LLVM

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

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.