phi16/ImKeyframeReduction
Keyframe Reduction for Unity AnimationClip
alive
Repositories
phi16/LightAquarium
phi16/VRC_storage
assets distribution
phi16/Compeito
GPGPU Utility for VRChat
phi16/VRC_Packages
phi16/misc-docs
phi16/Donut
A PROTOTYPE of an experimantal playground of n-categorical program representation
phi16/book-of-space
「空間表現の絵本」
phi16/Baum
Aiming to be a foundation of every content creation
phi16/1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
phi16/Lambia
Lambia /lamia/ the practical Lambda-Calculus language
phi16/phi16.github.io
https://phi16.github.io
phi16/llvm-hs-pretty
Pretty printer for LLVM AST to Textual IR
phi16/llvm-hs
Haskell bindings for LLVM
phi16/cpp.hs
Haskell in C++
phi16/Monaka
Monaka/最中(もなか): Stroke-based Input Method, 3rd generation
phi16/obs-shaderfilter
OBS Studio filter for applying an arbitrary shader to a source.
phi16/twigl
twigl.app is an online editor for One tweet shader, with gif generator and sound shader, and broadcast live coding.
phi16/RayMarch
RayMarching Code in Haskell
phi16/Kino
Playground for Everything
phi16/Quilt
http://phi16.github.io/Quilt/
phi16/FT4096
phi16/node-sensel
Bindings for Sensel API
phi16/book
A textbook on informal homotopy type theory
phi16/Halvet
phi16/Jam
3-hour GameJam
phi16/Manifold
2D Physics on the Riemannian Manifold
phi16/Orca
Esoteric Programming Language
phi16/geometry3Sharp
C# library for 2D/3D geometric computation, mesh algorithms, and so on. Boost license.
phi16/110
Creating 110 CA from Turing Machine