japonophile

darwin

Control ROBOTIS-mini (aka Darwin Mini) robot with ROS

covid19

Hacking nature with @geohotz #COVID19 #sars-cov-2

make-minecraft

Make Minecraft application bundled in Kano OS

minimast

A faster metamath parser written in Rust

advent-of-code

chopp.in-clj

dotfiles

(some of) my dot files...

Education4Climate

Education4Climate is a tool for crawling and analyzing data from higher education schools.

game-of-life

The Game of Life written in Clojurescript

gym

A toolkit for developing and comparing reinforcement learning algorithms.

japonophile.com

kano-apps

Launcher for different utilities

kano-feedback

Tool to report feedback and bugs

kano-profile

Tool to communicate with Kano-World

kano-toolset

Shared toolset for OS apps

kano-updater

kano-vnc

VNC wrapper for Kano OS

make-art

App to learn programming using a basic CoffeeScript drawing API

make-light-old

Kano make-light application (for i18n support)

make-snake

Snake game running on the terminal

metamast

Metamath parsing in Rust

mm-clj

Trying out Clojure for theorem proving

neural-engine

Everything we actually know about the Apple Neural Engine (ANE)

penguin

ペンギン　プログラミングワークショップのウェブサイト

pydicom

Read, modify and write DICOM files with python code

quine-relay

An uroboros program with 100+ programming languages

s2a_fm

A Scratch Hardware Extension For Arduino

tweets

janky twitter replacement

twitchcoq

having fun with @geohot 's twitchcoq (metamath, actually)

twitchess

having fun with @geohot 's twitchchess