piyush-kurur/sample-code piyush-kurur/sample-code

  • Stars
    star
    2
  • Language Agda
  • License
    The Unlicense
  • Created about 11 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
piyush-kurur/sample-code
github

piyush-kurur

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

This repository contains a collection of sample programms in various languages mainly to serve as illustrations

More Repositories

1

yesod-admin

Abandoned: An yesod based admin for persistent objects
Haskell
16
star
2

funda

FUNctional DAtabase
3
star
3

hackers-revenge

Surviving tasteless, mindless "input forms" one org file at a time.
2
star
4

hott

My experiments with HoTT
Agda
2
star
5

ghc-staticptr-experiments

Experimental code that checks some features of static ptr in GHC
Haskell
1
star