OJaml: ML-like language on JVM Statically typed, JVM bytecode compiler. Project structure ml0: Language with most basic features compiler-scala: ML0 compiler written with Scala lib-native: Standard library written with Java lib: Standard library test: Test repl: REPL console