# IBM/nl2ltl

<https://repo.masters-masters.com/en/repos/IBM/nl2ltl>

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

IBM/nl2ltl has 105 stars on GitHub. Its RepoMasters card: Prototype tier. Natural Language (NL) to Linear Temporal Logic (LTL) Language: Python.

| Field | Value |
| --- | --- |
| Owner | [IBM](https://repo.masters-masters.com/en/owners/IBM) |
| Stars | 105 |
| Forks | 15 |
| Language | [Python](https://repo.masters-masters.com/en/languages/python) |
| License | MIT |
| Created | 2022 |
| Topics | declare, ibm-research-ai, linear-temporal-logic, ltl, ltlf, nautral-language-processing |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [IBM/nl2ltl](https://github.com/IBM/nl2ltl) |

## Repository

Natural Language (NL) to Linear Temporal Logic (LTL)

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

## More repos by IBM

- [IBM/sarama · ★ 12,522 · Go · Stable](https://repo.masters-masters.com/en/repos/IBM/sarama)
- [IBM/plex · ★ 11,746 · CSS · Stable](https://repo.masters-masters.com/en/repos/IBM/plex)
- [IBM/mcp-context-forge · ★ 4,749 · Python · RC](https://repo.masters-masters.com/en/repos/IBM/mcp-context-forge)
- [IBM/AssetOpsBench · ★ 2,409 · Python · RC](https://repo.masters-masters.com/en/repos/IBM/AssetOpsBench)
- [IBM/css-gridish · ★ 2,216 · CSS · RC](https://repo.masters-masters.com/en/repos/IBM/css-gridish)
- [IBM/fp-go · ★ 2,034 · Go · RC](https://repo.masters-masters.com/en/repos/IBM/fp-go)

## Nearby in Python

- [ozguradmin/ahenk-turkish-tts · ★ 105 · Python · Prototype](https://repo.masters-masters.com/en/repos/ozguradmin/ahenk-turkish-tts)
- [SuperBigFatDog/mcd-nearest-deal · ★ 105 · Python · Prototype](https://repo.masters-masters.com/en/repos/SuperBigFatDog/mcd-nearest-deal)
- [Mosina1102/Moui · ★ 105 · Python · Prototype](https://repo.masters-masters.com/en/repos/Mosina1102/Moui)
- [infogami/infogami · ★ 105 · Python · Prototype](https://repo.masters-masters.com/en/repos/infogami/infogami)
- [lig/pystardict · ★ 105 · Python · Prototype](https://repo.masters-masters.com/en/repos/lig/pystardict)
- [mattball/doxyclean · ★ 105 · Python · Prototype](https://repo.masters-masters.com/en/repos/mattball/doxyclean)

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