# agiresearch/Formal-LLM

<https://repo.masters-masters.com/repos/agiresearch/Formal-LLM>

[Accueil](https://repo.masters-masters.com/) › [agiresearch](https://repo.masters-masters.com/owners/agiresearch) › [Formal-LLM](https://repo.masters-masters.com/repos/agiresearch/Formal-LLM)

agiresearch/Formal-LLM, dépôt open source à 140 étoiles sur GitHub. Carte Prototype de RepoMasters. Formal-LLM: Integrating Formal Language and Natural…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [agiresearch](https://repo.masters-masters.com/owners/agiresearch) |
| Étoiles | 140 |
| Forks | 11 |
| Langage | [Python](https://repo.masters-masters.com/languages/python) |
| Licence | Aucune |
| Création | 2023 |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [agiresearch/Formal-LLM](https://github.com/agiresearch/Formal-LLM) |

## Fiche du dépôt

Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents

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

## Autres dépôts de agiresearch

- [agiresearch/AIOS · ★ 6 541 · Python · Stable](https://repo.masters-masters.com/repos/agiresearch/AIOS)
- [agiresearch/OpenAGI · ★ 2 294 · Python · RC](https://repo.masters-masters.com/repos/agiresearch/OpenAGI)
- [agiresearch/A-mem · ★ 1 213 · Python · Bêta](https://repo.masters-masters.com/repos/agiresearch/A-mem)
- [agiresearch/WarAgent · ★ 459 · Python · Alpha](https://repo.masters-masters.com/repos/agiresearch/WarAgent)
- [agiresearch/OpenP5 · ★ 351 · Python · Alpha](https://repo.masters-masters.com/repos/agiresearch/OpenP5)
- [agiresearch/ASB · ★ 328 · Python · Alpha](https://repo.masters-masters.com/repos/agiresearch/ASB)

## D’autres dépôts Python

- [cobusgreyling/Jev · ★ 140 · Python · Prototype](https://repo.masters-masters.com/repos/cobusgreyling/Jev)
- [PhysicalRSI/PhysicalRSI · ★ 140 · Python · Prototype](https://repo.masters-masters.com/repos/PhysicalRSI/PhysicalRSI)
- [evolvent-ai/RSIGym · ★ 140 · Python · Prototype](https://repo.masters-masters.com/repos/evolvent-ai/RSIGym)
- [jodal/comics · ★ 140 · Python · Prototype](https://repo.masters-masters.com/repos/jodal/comics)
- [textmate/python.tmbundle · ★ 140 · Python · Prototype](https://repo.masters-masters.com/repos/textmate/python.tmbundle)
- [pragmaticbadger/django-privatebeta · ★ 140 · Python · Prototype](https://repo.masters-masters.com/repos/pragmaticbadger/django-privatebeta)

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