rzk-lang/rzk
An experimental proof assistant based on a type theory for synthetic ∞-categories.
GitHub repository with 281 stars and 16 forks.
Language: Haskell
Topics: category-theory, homotopy-type-theory, proof-assistant, haskell
24h trend summary
Trending score 0.54, freshness score 0.81, stars gained +1, forks gained +0.
Latest metric snapshot
2026-06-15: 281 stars and 16 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