There are 2 repositories under f-ing-modules topic.
An ML-like statically-typed Erlang
A statically-typed programming language based on "F-ing modules"
Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules
Full implementation of F-ing Modules, with the power of sequent calculus
An interpreter of F-ing modules