# agiresearch/Formal-LLM

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

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

agiresearch/Formal-LLM has 140 stars on GitHub. Its RepoMasters card: Prototype tier. Formal-LLM: Integrating Formal Language and Natural Language for…

| Field | Value |
| --- | --- |
| Owner | [agiresearch](https://repo.masters-masters.com/en/owners/agiresearch) |
| Stars | 140 |
| Forks | 11 |
| Language | [Python](https://repo.masters-masters.com/en/languages/python) |
| License | None |
| Created | 2023 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [agiresearch/Formal-LLM](https://github.com/agiresearch/Formal-LLM) |

## Repository

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

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

## More repos by agiresearch

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

## Nearby in Python

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

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