Pinned Repositories
book-of-space
「空間表現の絵本」
cpp.hs
Haskell in C++
ImKeyframeReduction
Keyframe Reduction for Unity AnimationClip
Kino
Playground for Everything
Lambia
Lambia /lamia/ the practical Lambda-Calculus language
obs-shaderfilter
OBS Studio filter for applying an arbitrary shader to a source.
Quilt
http://phi16.github.io/Quilt/
RayMarch
RayMarching Code in Haskell
VRC_storage
assets distribution
phi16's Repositories
phi16/VRC_storage
assets distribution
phi16/ImKeyframeReduction
Keyframe Reduction for Unity AnimationClip
phi16/book-of-space
「空間表現の絵本」
phi16/Quilt
http://phi16.github.io/Quilt/
phi16/Kino
Playground for Everything
phi16/obs-shaderfilter
OBS Studio filter for applying an arbitrary shader to a source.
phi16/Manifold
2D Physics on the Riemannian Manifold
phi16/Monaka
Monaka/最中(もなか): Stroke-based Input Method, 3rd generation
phi16/Regex-Sampler
phi16/MotionStore
phi16/twigl
twigl.app is an online editor for One tweet shader, with gif generator and sound shader, and broadcast live coding.
phi16/ActionSample
phi16/AgdaTutorial
http://people.inf.elte.hu/divip/AgdaTutorial/Index.html
phi16/book
A textbook on informal homotopy type theory
phi16/Five-coloring
https://phi16.github.io/Five-coloring
phi16/FT4096
phi16/geometry3Sharp
C# library for 2D/3D geometric computation, mesh algorithms, and so on. Boost license.
phi16/Halvet
phi16/haste-compiler
A GHC-based Haskell to JavaScript compiler.
phi16/Jam
3-hour GameJam
phi16/JJ3S
phi16/llvm-hs
Haskell bindings for LLVM
phi16/llvm-hs-pretty
Pretty printer for LLVM AST to Textual IR
phi16/node-sensel
Bindings for Sensel API
phi16/Orca
Esoteric Programming Language
phi16/phi16.github.io
https://phi16.github.io
phi16/plfa.github.io
Introduction to programming language theory in Agda
phi16/Q
adds Concurrency and Terminatable Thread to JavaScript / inspired by haste-compiler
phi16/rust-openvr-sys
Unsafe system binding for openvr
phi16/WebGL-simple