GitHub - msp-strath/TypOS: being an operating system for typechecking processes

[igrep]

すごそう "domain-specific language for implementing type systems, based on an actor model (caveat emptor) of concurrent execution. Each region of source code is processed by an actor, implementing a typing judgement with a clearly specified interaction protocol."