Tomoki Sakurai

Advanced
@zer0-star

I like programming languages.

zer0-star.dev/

matsuri. Useful Variant Type and Powerful Pattern Matching for Nim

28

nim-curry. Nim

13

git-hs. a toy git implementetaion written in haskell

4

zer0-star.dev. PureScript

4

fp-lecture. 関数型（Haskell）講習会の教材です

3

lean-ac-library. ac-library for lean4

3

library. らいぶら https://zer0-star.github.io/library/

1

SomnaScript. Toy lang for my practice

1
8
Apply