ashwinmathi

Pinned Repositories

gitignore
A collection of useful .gitignore templates
0 0 00
haskell-template-1
Haskell project template using Nix + Flakes + VSCode (HLS)
Language:Nix0 0 00
rel8
Hey! Hey! Can u rel8?
Language:Haskell0 0 00
tasty-discover
Language:Haskell0 0 00
rel8
Hey! Hey! Can u rel8?
Language:Haskell156 16 9739
tasty-discover
Language:Haskell14 6 129
quickspec
Equational laws for free
Language:Haskell250 14 4024
haskell-template
Haskell project template using Nix + Flakes + VSCode (HLS)
Language:Nix235 4 4235
srid
Source for https://srid.ca (do you know that you can git clone and `nix run` this website locally?)
Language:HTML8 3 14

ashwinmathi's Repositories

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