Michael Greenberg

icon indicating a website link https://greenberg.science/ icon indicating an email [email protected]

icon company Stevens Institute of Technology icon location New Jersey

Results 3 repositories owned by Michael Greenberg

ffs

448
Stars
13
Forks
Watchers

the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem

verified publisher icon mgree

kmt

26
Stars
2
Forks
Watchers

Kleene algebra modulo theories

verified publisher icon mgree

smoosh

112
Stars
4
Forks
Watchers

The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.

verified publisher icon mgree