Katsujukou Kineya

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

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

purescript-halogen-router. Routing management for Halogen

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

purvasm-arc. The bytecode compiler and interpreter for PureScriprt

dam4g. Demonstrative Abstract Machine Simulator for GDGoC Osaka

kotolab-hp. Koto's website

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

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

oqtopus-cli. Universal Command Line Interface for OQTOPUS

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