PrototypeCommune
vehicle-lang/vehicle
A toolkit for enforcing logical specifications on neural networks
- Propriétaire
- vehicle-lang (organisation)
- Étoiles
- Étoiles : 137
- Forks
- Forks : 21
- Langage
- Haskell
- Licence
- Aucune
- Création
- 2021
- Sujets
- agdahaskellneural-networkspecificationverification
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Haskell
Tous les dépôts Haskell- ChrisPenner/wcÉtoiles : 137HaskellPrototype
- kowainik/cake-slayerÉtoiles : 137HaskellPrototype
- gshen42/HasChorÉtoiles : 137HaskellPrototype
- twittner/zeromq-haskellÉtoiles : 137HaskellPrototype
- commercialhaskell/haskellersÉtoiles : 137HaskellPrototype
- rodrigosetti/master-planÉtoiles : 137HaskellPrototype