#
Formal verification engineer by day. Hobbyist software tinkerer at night.
-
ARM
- United Kingdom
-
20:46
- same time - lewisr.dev
Lists (2)
Sort Name ascending (A-Z)
Starred repositories
1
star
written in Haskell
Clear filter
ShellCheck, a static analysis tool for shell scripts