PrototypeCommon
vehicle-lang/vehicle
A toolkit for enforcing logical specifications on neural networks
- Owner
- vehicle-lang (organization)
- Stars
- Stars: 137
- Forks
- Forks: 21
- Language
- Haskell
- License
- None
- Created
- 2021
- Topics
- agdahaskellneural-networkspecificationverification
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Haskell
All Haskell repos- ChrisPenner/wcStars: 137HaskellPrototype
- kowainik/cake-slayerStars: 137HaskellPrototype
- gshen42/HasChorStars: 137HaskellPrototype
- twittner/zeromq-haskellStars: 137HaskellPrototype
- commercialhaskell/haskellersStars: 137HaskellPrototype
- rodrigosetti/master-planStars: 137HaskellPrototype