3 ms·

git-annex cryptol (https://en.wikipedia.org/wiki/Cryptol https://en.wikipedia.org/wiki/Cryptol) seL4 (https://en.wikipedia.org/wiki/L4_microkernel_family#High

by ics 11y ago

git-annex cryptol (https://en.wikipedia.org/wiki/Cryptol https://en.wikipedia.org/wiki/Cryptol) seL4 (https://en.wikipedia.org/wiki/L4_microkernel_family#High_assurance:_seL4 https://en.wikipedia.org/wiki/L4_microkernel_family#High_ass...)