GitHub - UBMLtonGroup/RTMLton: MLton with Realtime GC and Threading features

RTMLton is a modification of the MLton compiler for Standard ML adding a real-time garbage collector, and threading features.

==================================================

About MLton :

MLton is a whole-program optimizing compiler for the Standard ML programming language.

For more information, go to the MLton home page.

    http://mlton.org/

RTEMS

Name		Name	Last commit message	Last commit date
Latest commit History 7,210 Commits
CDSml		CDSml
basis-library		basis-library
benchmark		benchmark
bin		bin
doc		doc
ide		ide
include		include
lib		lib
man		man
mllex		mllex
mlnlffigen		mlnlffigen
mlprof		mlprof
mlton		mlton
mlyacc		mlyacc
package		package
regression		regression
runtime		runtime
tests		tests
ub		ub
util		util
.autotools		.autotools
.cproject		.cproject
.gitignore		.gitignore
.travis.yml		.travis.yml
LICENSE		LICENSE
Makefile		Makefile
Makefile.rtems		Makefile.rtems
README.md		README.md
Vagrantfile		Vagrantfile
build-rtems.sh		build-rtems.sh
compile-rtems.sh		compile-rtems.sh
compile-runtime.sh		compile-runtime.sh
compile.sh		compile.sh
gdbmacros		gdbmacros
large-chunk.sml		large-chunk.sml
notes		notes
parser.sml		parser.sml
tc.sh		tc.sh
x86-compile.sh		x86-compile.sh
x86-regression.sh		x86-regression.sh