This is your work, valued

Kobe, Japan

Katsujukou Kineya

Advanced
@katsujukou

Functional Programming Enthusiast.

kotolab.net

TaPL-in-PureScript. The PureScript implementation for the *Types and Programming Language* by B. Pierce

19

purescript-halogen-helix. Lightweight global state management for PureScript Halogen using halogen-hooks.

18

purescript-halogen-router. Routing management for Halogen

15

purescript-binaryen-js. A collection of purescript bindings to Binaryen JS API

4

purvasm-arc. The bytecode compiler and interpreter for PureScriprt

3

dam4g. Demonstrative Abstract Machine Simulator for GDGoC Osaka

3

kotolab-hp. Koto's website

2

purescript-httpurple-aws-lambda. An adapter for running HTTPurple server apps on AWS Lambda

2

patplay. A Playground to enjoy with PAT (Proposition-As-a-Type / Proof-As-a-Term) interpretation of type theory

1

oqtopus-cli. Universal Command Line Interface for OQTOPUS

1

famicaml. The web-based Famicom/NES emulator written in OCaml

1