Other interesting ones to look at are F* (a joint effort from Microsoft Research and INRIA to create an ML-like dependently typed language) and ATS (a low-level, fast dependently typed language meant to replace C). What&#x27;s cool about both of these is that they put emphasis on allowing imperative programming despite being dependently typed and seeming very functional.