Full-featured traits in Julia. Without full features how dare I say this?

Julia implementation for Python Restrain JIT

A refined implementation of Lightweighted Higher Kinded Types in Julia(via typeclasses/traits)

Providing HM unification with row polymorphism support

Non-extensible/hardcoded pattern matching, core of MLStyle

Julia functional programming infrastructures and metaprogramming facilities

Full featured parameterised ML-modules in Julia

Pretty print that makes sense

A DSL for modern parsing

Formally and easily, describe the semantics.

-