A list of vendors that treat single sign-on as a luxury feature, not a core security requirement.

A middleware tool to assist step-ca with posture info during an ACME device-attest-01 challenge.

A free, offline, and openly licensed Japanese-to-English dictionary. Updates weekly!

Pop-up dictionary browser extension. Successor to Yomichan.

Data interchange with algebraic data types.

rust raft with improvements

Low latency audio transmitter/recieiver over IP

Categories parametrized by morphism equality, in Agda

Categories parametrized by morphism equality, in Agda

IP Routing Table in Haskell