ゆきくらげ's repositories
web-portfolio
web系創作物のポートフォリオ
hott-ja
HoTT in Japanese
000
Language:HaskellMIT000
purescript
A strongly-typed language that compiles to JavaScript
Language:HaskellNOASSERTION000
purescript-contravariant
Contravariant functors
Language:PureScriptBSD-3-Clause000
purescript-exists
Existential types as a library
Language:PureScriptBSD-3-Clause000
purescript-fast-vect
Fast 🐆, type-safe vectors for Purescript
Language:PureScriptMIT-0000
Language:PureScript000
purescript-sanmoku-dev0
PureScript三目並べ開発用
Language:JavaScript000
purescript-signal
Elm style FRP library for PureScript
Language:PureScriptApache-2.0000
Language:PureScript000
UniRx
Reactive Extensions for Unity
MIT000
yukikurage
yukikurage's profile