ekpyron

glodroid_manifest

Android port that aims to bring both user- and developer-friendly experience in using AOSP with a set of single-board computers (SBC), phones and other devices.

ih8sn

fauxcon

A utility to provide a direct connection between your keyboard and the console of a system. Very handy if you're ssh'd into a system, but need to fake keystrokes on the physical console.

AOT

Embedding of The Theory of Abstract Objects in Isabelle/HOL

hm-typecheck

Experimental typechecker for a Solidity intermediate language