ashwinmathi

Pinned Repositories

gitignore
A collection of useful .gitignore templates
00
haskell-template-1
Haskell project template using Nix + Flakes + VSCode (HLS)
Language:Nix00
rel8
Hey! Hey! Can u rel8?
Language:Haskell00
tasty-discover
Language:Haskell00
rel8
Hey! Hey! Can u rel8?
Language:Haskell154 16 9339
tasty-discover
Language:Haskell14 6 129
quickspec
Equational laws for free
Language:Haskell249 14 4024
haskell-template
Haskell project template using Nix + Flakes + VSCode (HLS)
Language:Nix224 4 4232
srid
Source for https://srid.ca (do you know that you can git clone and `nix run` this website locally?)
Language:HTML7 3 15

ashwinmathi's Repositories

ashwinmathi/gitignore
A collection of useful .gitignore templates
00
ashwinmathi/haskell-template-1
Haskell project template using Nix + Flakes + VSCode (HLS)
Language:Nix00
ashwinmathi/rel8
Hey! Hey! Can u rel8?
Language:Haskell00
ashwinmathi/tasty-discover
Language:Haskell00