experimental solidity compiler

Solidity, the Smart Contract Programming Language

Experimental typechecker for a Solidity intermediate language

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.

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.

Embedding of The Theory of Abstract Objects in Isabelle/HOL