Silt - An in-progress fast, dependently typed, functional programming language implemented in Swift.
Remora - Dependently-typed language with Iverson-style implicit lifting.
sixty - Dependent type checker using normalisation by evaluation.
voile-rs - Dependently-typed programming language with a non-dependent version of row-polymorphism, meta variable resolution and implicit parameter syntax.
Pi-Forall language - Demo implementation of a simple dependently-typed language.
Next 700 Module Systems - Extending Dependently-Typed Languages to Implement Module System Features In The Core Language.