えび (ebi_chan) spinylobster

• Japan

Popular repositories Loading

3. 「アンダースタンディング コンピュテーション」を Haskell でやってみた

   Haskell 2

4. All-in-one container for TDD/Pair programming/Mob programming with Kotlin

   Dockerfile 1

5. Coq演習2014 http://qnighy.github.io/coqex2014/

   Coq

6. https://www.dataquest.io

   Jupyter Notebook