vehicle-lang/vehicle
A toolkit for enforcing logical specifications on neural networks
GitHub repository with 130 stars and 15 forks.
Language: Haskell
Topics: agda, haskell, neural-network, specification, verification
24h trend summary
Trending score 0.24, freshness score 0.95, stars gained +0, forks gained +0.
Latest metric snapshot
2026-06-15: 130 stars and 15 forks.
Trending in Haskell
-
1. NorfairKing/feedback
Declarative feedback loop manager
GitHub repository with 67 stars and 12 forks.
Trending score: 0.23; stars gained: +0; forks gained: +0.
Language: Haskell
-
2. NorfairKing/autodocodec
self(auto)- documenting encoders and decoders
GitHub repository with 133 stars and 25 forks.
Trending score: 0.01; stars gained: +0; forks gained: +0.
Language: Haskell
-
3. hydrangea-project/hydrangea-compiler
GitHub repository with 14 stars and 0 forks.
Trending score: 0.09; stars gained: -1; forks gained: +0.
Language: Haskell
-
4. Haskell-OpenAPI-Code-Generator/Haskell-OpenAPI-Client-Code-Generator
Generate Haskell client code from an OpenAPI 3.0 specification
GitHub repository with 56 stars and 22 forks.
Trending score: 0.00; stars gained: +0; forks gained: +0.
Language: Haskell
Topics: haskell-client, openapi, hacktoberfest