Ur/Web is Ur plus a special standard library and associated rules for parsing and optimization. Ur is a programming language in the tradition of ML and Haskell, but featuring a significantly richer type system
Remy is an optimization tool to develop new TCP congestion-control schemes, given prior knowledge about the network it will encounter and an objective to optimize for.
Sprout is a transport protocol for interactive applications that desire high throughput and low delay.
PetaBricks is a new implicitly parallel language and compiler where having multiple implementations of multiple algorithms to solve a problem is the natural way of programming
Simit is a new programming language designed to make it easy to write high-performance code to compute on sparse systems.