Pinned Loading

1. axiomatic axiomatic Public

   Adventures in type checking and automated theorem proving

   Python

2. regular-vm regular-vm Public

   Central site for the REGULAR-VM instruction set architecture (ISA)

   HTML

3. aframe-offline-voice aframe-offline-voice Public

   Interacting with Aframe VR using voice recognition, 100% locally in your browser

   JavaScript 3

4. boxspace/boxspace.github.io boxspace/boxspace.github.io Public

   A 3D non-Euclidean raycaster based on gluing the insides of cubes

   JavaScript 2

5. allolib_tools allolib_tools Public

   Forked from AlloSphere-Research-Group/allolib_tools

   C++

6. osc-sustain-web osc-sustain-web Public

   A simple web-based sustain pedal for OSC

   HTML