Pinned Repositories
esbuild-plugin-html
esbuild plugin to generate HTML files
ghost-lambders
hackbar-clean
nesasm.nix
Nix derivations for building nesasm and putting it to use.
purescript-binaryen-js
A collection of purescript bindings to Binaryen JS API
purescript-halogen-helix
Lightweight global state management for PureScript Halogen using halogen-hooks.
purescript-halogen-router
Routing management for Halogen
purescript-record-optional-fields
Optional field manipulation for PureScript Record tyope
purvasm
The bytecode compiler and interpreter for PureScriprt
TaPL-in-PureScript
The PureScript implementation for the *Types and Programming Language* by B. Pierce
katsujukou's Repositories
katsujukou/TaPL-in-PureScript
The PureScript implementation for the *Types and Programming Language* by B. Pierce
katsujukou/purescript-halogen-helix
Lightweight global state management for PureScript Halogen using halogen-hooks.
katsujukou/purescript-halogen-router
Routing management for Halogen
katsujukou/purescript-binaryen-js
A collection of purescript bindings to Binaryen JS API
katsujukou/purvasm
The bytecode compiler and interpreter for PureScriprt
katsujukou/esbuild-plugin-html
esbuild plugin to generate HTML files
katsujukou/ghost-lambders
katsujukou/hackbar-clean
katsujukou/halogen-hasura
katsujukou/nesasm.nix
Nix derivations for building nesasm and putting it to use.
katsujukou/nesml
A functional programming language that compiles to binary for NES
katsujukou/ninja
a small build system with a focus on speed
katsujukou/package-sets
PureScript packages for Spago and Psc-Package
katsujukou/purescript-record-optional-fields
Optional field manipulation for PureScript Record tyope
katsujukou/ocaml-nix-template
A template project for OCaml with nix flake enabled.
katsujukou/ordb
katsujukou/php-simple-adt
A simple algebraic data types (a.k.a. ADT) library for php
katsujukou/psb
Pursley's internal PureScript compiler
katsujukou/purescript
A strongly-typed language that compiles to JavaScript
katsujukou/purescript-grapheme-codegen
katsujukou/purescript-language-purescript
Types and codecs for the PureScript programming language written in PureScript
katsujukou/purescript-puregql
A GraphQL server implementation in PureScript
katsujukou/purescript-webassembly-core
A bunch of PureScript binding to the WebAssembly's core specification.
katsujukou/pursecd
Bytecode compiler and interpreter for PureScript based on SECD machine
katsujukou/purvasm-poc
Yet another runtime for PureScript
katsujukou/registry
The PureScript registry
katsujukou/study-on-purescript-compiler
A study on how PureScript compiler works
katsujukou/viper