Skip to content
View simlrh's full-sized avatar

Block or report simlrh

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Geoff's VT100 Terminal

C 88 25 Updated Feb 1, 2023

Cellular automata renderer

TypeScript 1 Updated Jan 7, 2023

Experimental implementation of Cubical Type Theory

Haskell 594 75 Updated Sep 21, 2023

Lecture notes on univalent foundations of mathematics with Agda

Agda 232 21 Updated Nov 17, 2025

[unmaintained] Vim plugin to resolve node/JS/commonJS/Webpack modules

Vim Script 3 2 Updated Feb 22, 2018

ARkit + GVR to make VR and Mixed Reality 6dof AR for iphone

C++ 145 24 Updated Oct 3, 2018

PostCSS plugin that combines CSS Modules and ES Imports

JavaScript 169 4 Updated Oct 7, 2017

Plugin for Godot Engine to import Tiled Map Editor tilemaps and tilesets

GDScript 889 90 Updated Mar 15, 2023

Godot Engine – Multi-platform 2D and 3D game engine

C++ 104,318 23,874 Updated Dec 22, 2025

OSVR plugin for FreePIE

C# 8 3 Updated Oct 9, 2016

OSVR HDK production files

Groff 109 45 Updated Dec 30, 2016

An OSVR plugin for SteamVR, providing SteamVR support for OSVR HMDs.

C++ 140 59 Updated Aug 18, 2017

The core libraries, applications, and plugins of the OSVR software platform.

C++ 338 130 Updated Jun 6, 2019

A OpenSCAD library that allows for simple creation of nuts and bolts and respective nut catches and screw holes

OpenSCAD 287 43 Updated Apr 10, 2022

A Worldwide Network with Distributed Routing through Location Swapping

C++ 15 Updated May 20, 2015