Giters
Robert Rose (rrose1)

rrose1

Geek Repo

12

followers

6

following

11

stars

Github PK Tool:Github PK Tool

Robert Rose's repositories

jsonesharp

A browser-based implementation of the 1# text register machine

Language:JavaScriptLicense:GPL-2.0Stargazers:6Issues:5Issues:11

nat-from-circle

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

lehmer-code-semantics

Language:AgdaLicense:GPL-3.0Stargazers:0Issues:3Issues:0