gravatar for david-christiansen

david-christiansen david-christiansen on Github

global / denmark / copenhagen

Languages

10 total

Repos

49 total

RepoLanguageStarsRank
david-christiansen/pie-hs on Githubpie-hsHaskell196475
david-christiansen/idris-type-providers on Githubidris-type-providersIdris8628
david-christiansen/idris-quickcheck on Githubidris-quickcheckIdris5735
david-christiansen/IdrisAtGalois2015 on GithubIdrisAtGalois2015Idris5040
david-christiansen/epigram1 on Githubepigram1Haskell501,756
david-christiansen/IdrisSqlite on GithubIdrisSqliteIdris4055
david-christiansen/pudding-old on Githubpudding-oldRacket39188
david-christiansen/final-pretty-printer on Githubfinal-pretty-printerHaskell352,411
david-christiansen/todo-list on Githubtodo-listRacket33223
david-christiansen/derive-all-the-instances on Githubderive-all-the-instancesIdris3173

Badges

Get your badge to use on GitHub or websites using the code below

Global

Displays global rankings for all languages plus top two languages by stars

Preview

Country

Displays country rankings for all languages plus top two languages by stars

Preview

Locality

Displays locality rankings for all languages plus top two languages by stars

Preview

Last updated: 2024-03-27T06:13:05.566657911Z Re-sync