# vehicle-lang/vehicle

<https://repo.masters-masters.com/en/repos/vehicle-lang/vehicle>

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

vehicle-lang/vehicle has 137 stars on GitHub. Its RepoMasters card: Prototype tier. A toolkit for enforcing logical specifications on neural networks

| Field | Value |
| --- | --- |
| Owner | [vehicle-lang](https://repo.masters-masters.com/en/owners/vehicle-lang) |
| Stars | 137 |
| Forks | 21 |
| Language | [Haskell](https://repo.masters-masters.com/en/languages/haskell) |
| License | None |
| Created | 2021 |
| Topics | agda, haskell, neural-network, specification, verification |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [vehicle-lang/vehicle](https://github.com/vehicle-lang/vehicle) |

## Repository

A toolkit for enforcing logical specifications on neural networks

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

## Nearby in Haskell

- [ChrisPenner/wc · ★ 137 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/ChrisPenner/wc)
- [kowainik/cake-slayer · ★ 137 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/kowainik/cake-slayer)
- [gshen42/HasChor · ★ 137 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/gshen42/HasChor)
- [twittner/zeromq-haskell · ★ 137 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/twittner/zeromq-haskell)
- [commercialhaskell/haskellers · ★ 137 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/commercialhaskell/haskellers)
- [rodrigosetti/master-plan · ★ 137 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/rodrigosetti/master-plan)

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