Japan

Takuma Ishikawa

Advanced
@nekketsuuu

satysfi-matrix. Math matrix library for SATySFi

14

lambda2pi. λ → π

6

SatysfiFilter. Pandoc filter to add compiled result of SATySFi

5

tapis. Termination analyzer of π-calculus processes by reduction to sequential programs

5

cook-container. a toy container which uses overlayfs

4

satysfi-my-soul. Website for SATySFi snippets

3

cook-container-tutorial. Go

2

ocaml_travis_ci. Travis CI benchmarks for OCaml

1

opam-repository. Main public package repository for OPAM, the source package manager of OCaml.

1

processing-practice. Processingを書く練習用です。

1

opensiv3d-dockerfiles. Dockerfiles for OpenSiv3D

1

haribote. C

1

palette-generator. Palette generator for VoxelShop

1
13
Apply