sternenseemann 的提交内容

Remind(1) – a sophisticated reminder service

Isabelle2016 released – Generic proof assistant

Announcing a new set of high-level SDL2 bindings

Combining Rust and Haskell

Show HN: Go's defer in Haskell

Spotlight does appear to send live keystrokes to Apple

USB armory – a open hardware flash drive sized computer

Manfred Memorial Moon Mission (4M)

Show HN: Sternenblog – a file based blog written in C

A Python Script Controlled via Twitter

Data Central – Tools for generating portable data portals