pSub
Follow
-
@red6 enterprise software
- Hamburg, Germany
-
04:11
(UTC +02:00) - https://pascal-wittmann.de
- in/pascal-wittmann
Lists (2)
Sort Name ascending (A-Z)
Stars
2
stars
written in OCaml
Clear filter
The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.