Skip to content
MDDP

Home / OPEN SOURCE

Open
Source

Open Source Developer, Oct 2026 to Present, Self-employed, Remote

github.com/rqms40 (opens in a new tab)

online-go/

online-go.com on GitHub (opens in a new tab)

The web interface of Online-Go.com (OGS), a site for playing Go.

open-pencil/

open-pencil on GitHub (opens in a new tab)

An open-source design editor and Figma alternative.

quint-co/

quint on GitHub (opens in a new tab)

An executable specification language based on the temporal logic of actions (TLA).

itzg/

mc-image-helper on GitHub (opens in a new tab)

The helper tool behind the itzg/minecraft-server Docker image.