Search for "Linus" returned 2786 results

Verified Firewall Ruleset Verification
32 min

Verified Firewall Ruleset Verification

Math, Functional Programming, Theorem Proving, and an…

Who can you trust?
64 min

Who can you trust?

A trust metric for the openSUSE buildservice

Rivulet:
22 min

Rivulet:

an esolang inspired by calligraphy and other experiments in…