phi16's repositories

VRC_storage

assets distribution

book-of-space

「空間表現の絵本」

Language:TeXStargazers:12Issues:0Issues:0

Quilt

http://phi16.github.io/Quilt/

Kino

Playground for Everything

Language:JavaScriptLicense:MITStargazers:3Issues:2Issues:0

obs-shaderfilter

OBS Studio filter for applying an arbitrary shader to a source.

Language:GLSLLicense:UnlicenseStargazers:3Issues:2Issues:0

Manifold

2D Physics on the Riemannian Manifold

Language:JavaScriptStargazers:2Issues:0Issues:0

Monaka

Monaka/最中(もなか): Stroke-based Input Method, 3rd generation

Language:KotlinStargazers:2Issues:0Issues:0
Language:HaskellStargazers:2Issues:0Issues:0
Language:JavaScriptStargazers:1Issues:0Issues:0

twigl

twigl.app is an online editor for One tweet shader, with gif generator and sound shader, and broadcast live coding.

Language:JavaScriptLicense:MITStargazers:1Issues:1Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0

AgdaTutorial

http://people.inf.elte.hu/divip/AgdaTutorial/Index.html

Language:HaskellStargazers:0Issues:2Issues:0

book

A textbook on informal homotopy type theory

Language:TeXStargazers:0Issues:1Issues:0

Five-coloring

https://phi16.github.io/Five-coloring

Language:JavaScriptStargazers:0Issues:0Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0

geometry3Sharp

C# library for 2D/3D geometric computation, mesh algorithms, and so on. Boost license.

Language:C#License:BSL-1.0Stargazers:0Issues:1Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0

Haskellecture

5/25@ぽぽぽ

Language:HaskellStargazers:0Issues:0Issues:0

haste-compiler

A GHC-based Haskell to JavaScript compiler.

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

Jam

3-hour GameJam

Language:JavaScriptStargazers:0Issues:2Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0

node-sensel

Bindings for Sensel API

Language:CLicense:MITStargazers:0Issues:0Issues:0

Orca

Esoteric Programming Language

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

phi16.github.io

https://phi16.github.io

Language:ActionScriptStargazers:0Issues:0Issues:0

plfa.github.io

Introduction to programming language theory in Agda

Language:AgdaLicense:CC-BY-4.0Stargazers:0Issues:0Issues:0

Q

adds Concurrency and Terminatable Thread to JavaScript / inspired by haste-compiler

Language:JavaScriptStargazers:0Issues:0Issues:0

Revera

reflex-oriented puzzle game

Language:HaskellLicense:GPL-3.0Stargazers:0Issues:2Issues:0

rust-openvr-sys

Unsafe system binding for openvr

Language:RustLicense:MITStargazers:0Issues:0Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0