Second link: SpecLang from Github Next, which "is an attempt at lifting the developer experience to a higher level of abstraction, closer to how we conceptually think about our programs" (Github Next is worth exploring and they appear to be doing quite a bit of FoC-related work) https://githubnext.com/projects/speclang/