phi16's repositories
VRC_storage
assets distribution
book-of-space
「空間表現の絵本」
obs-shaderfilter
OBS Studio filter for applying an arbitrary shader to a source.
Language:JavaScript000
AgdaTutorial
http://people.inf.elte.hu/divip/AgdaTutorial/Index.html
Five-coloring
https://phi16.github.io/Five-coloring
Language:JavaScript000
Language:JavaScript000
geometry3Sharp
C# library for 2D/3D geometric computation, mesh algorithms, and so on. Boost license.
Language:JavaScript000
Language:JavaScript000
Haskellecture
5/25@ぽぽぽ
Language:Haskell000
haste-compiler
A GHC-based Haskell to JavaScript compiler.
Language:HaskellBSD-3-Clause000
Language:JavaScript000
node-sensel
Bindings for Sensel API
Language:CMIT000
Orca
Esoteric Programming Language
Language:JavaScriptMIT000
phi16.github.io
https://phi16.github.io
Language:ActionScript000
plfa.github.io
Introduction to programming language theory in Agda
Language:AgdaCC-BY-4.0000
Q
adds Concurrency and Terminatable Thread to JavaScript / inspired by haste-compiler
Language:JavaScript000
rust-openvr-sys
Unsafe system binding for openvr
Language:RustMIT000
Language:JavaScript000