@Hexirp
github

Hexirp

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    22
  • Global Rank 603,566 (Top 21 %)
  • Followers 28
  • Following 36
  • Registered about 8 years ago
  • Most used languages
    Haskell
         70.0 %
    Coq     20.0 %
    Scala
         10.0 %
  • Location ๐Ÿ‡ฏ๐Ÿ‡ต Japan
  • Country Total Rank 10,260
  • Country Ranking
    Coq     16
    Haskell
         92
    Scala
         659

Top repositories

1

doctest-driver-gen

Generate driver file for doctest's cabal integration.
Haskell
6
star
2

github-trends

Scrape GitHub's Trends
Haskell
5
star
3

blog

Hexirp's Blog
Coq
3
star
4

googology-in-coq

Googology in Coq
Coq
2
star
5

googology

Haskell
1
star
6

depgraphdiv

Divide modules into packages according to the dependecy graph
Haskell
1
star
7

hexirp-hakyll

I decided to deeply fork hakyll.
Haskell
1
star
8

yhseq

YHๆ•ฐๅˆ—ใ‚ทใ‚นใƒ†ใƒ ใฎๅฎŸ่ฃ…
Haskell
1
star
9

haskell-gist

gistlike repository
Haskell
1
star
10

akariki

ใƒฌใƒƒใƒ‰ใ‚นใƒˆใƒผใƒณ้–ขไฟ‚ใ‚’ๆ‹กๅผตใ—ใพใ™ ๐Ÿ’ฅ
Scala
1
star