A logic programming language that has features of both Datalog and answer set programming.

An interactive theorem prover based on lambda-tree syntax

Quality-of-life for fiddly little JS apps that modify user-generated text

OS overhaul for Miyoo Mini and Mini+

A rugged, minimal framework for composing JavaScript behavior in your markup.

Magit for VSCode

Forked from https://github.com/opt-pan/penpa-edit to provide English translations

One checkout from each of my old BitBucket repos.

Sub-standard ML

Sub-standard ML

Library for Standard ML

A standard library for Agda