Stars
Experimental implementation of Cubical Type Theory
Lecture notes on univalent foundations of mathematics with Agda
[unmaintained] Vim plugin to resolve node/JS/commonJS/Webpack modules
ARkit + GVR to make VR and Mixed Reality 6dof AR for iphone
PostCSS plugin that combines CSS Modules and ES Imports
Plugin for Godot Engine to import Tiled Map Editor tilemaps and tilesets
Godot Engine – Multi-platform 2D and 3D game engine
An OSVR plugin for SteamVR, providing SteamVR support for OSVR HMDs.
The core libraries, applications, and plugins of the OSVR software platform.
A OpenSCAD library that allows for simple creation of nuts and bolts and respective nut catches and screw holes
A Worldwide Network with Distributed Routing through Location Swapping