AndrasKovacs/sett

Setoid type theory implementation

HaskellNix
This is stars and forks stats for /AndrasKovacs/sett repository. As of 11 May, 2024 this repository has 37 stars and 0 forks.

Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
jjdosa/doom-privateEmacs LispNix0090
achals/99-questionsHaskell0000
ckauhaus/nixos-vulnerability-roundupNix8020
input-output-hk/plutus-starterNixHaskellShell2020990
TheLortex/mirage-monorepoOCamlPerlC14030
awakesecurity/gRPC-haskellHaskellCNix2260730
binplz/binplz.devHaskellNixHCL3010
alamgu/ledger-rust-appRustTypeScriptNix2000
maralorn/nix-output-monitorHaskellNixOther4090120
londonhaskell/londonhaskell-2012-10-24-why-do-monads-matterHaskell7020