ころ (@koropicot)
github

koropicot

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    11
  • Global Rank 920,328 (Top 32 %)
  • Followers 23
  • Following 23
  • Registered over 11 years ago
  • Most used languages
    C#
         75.0 %
    F#
         25.0 %

Top repositories

1

SLC-Implementation

Filinski, A, 1989. Declarative continuations and categorical duality, Appendix A のSLC実装をF#で
F#
3
star
2

MyTwitterIcons

2
star
3

PetDetectiveSolver

アニマル探偵事務所とくやつ
C#
2
star
4

LambdaCalculus

ラムダ計算
C#
2
star
5

TaPL-Reading-Memo

TaPL読書会メモ
1
star
6

Extensions

C#の俺々拡張ライブラリです
C#
1
star