Here is a list of all files with brief descriptions:

build
docs
plug
include
mim
plug
affine
autogen.h
autodiff
autogen.h
btensor
autogen.h
buffer
autogen.h
clos
autogen.h
compile
autogen.h
core
autogen.h
cps
autogen.h
demo
autogen.h
gpu
autogen.h
ll
autogen.h
ll_nvptx
autogen.h
math
autogen.h
mem
autogen.h
nvptx
autogen.h
opt
autogen.h
option
autogen.h
ord
autogen.h
refly
autogen.h
regex
autogen.h
tensor
autogen.h
tuple
autogen.h
vec
autogen.h
config.h
cmake
Mim.cmake
docs
deploy.py
fences.py
include
automaton
automaton.h
dfa.h
dfamin.h
nfa.h
nfa2dfa.h
range_helper.h
mim
ast
ast.h
lexer.h
parser.h
tok.h
be
emitter.h
phase
beta_red.h
branch_normalize.h
eta_conv.h
lam_spec.h
optimize.h
ret_wrap.h
scalarize.h
static_arg_opt.h
unload.h
plug
affine
phase
lower_for.h
lower_index.h
affine.h
autodiff
phase
eval.h
autodiff.h
btensor
phase
lower_map_reduce.h
btensor.h
buffer
phase
lower_ptr.h
buffer.h
clos
phase
branch_clos_elim.h
clos2sjlj.h
clos_conv.h
clos_conv_prep.h
lower_typed_clos.h
lower_typed_clos_prep.h
clos.h
compile
compile.h
core
core.h
cps
phase
conv.h
cps.h
demo
demo.h
gpu
phase
lower_map_reduce.h
mem_checks.h
remove_double_syncs.h
split_apply.h
split_off_kernels.h
gpu.h
ll
ll.h
ll_nvptx
phase
ll_nvptx.h
ll_nvptx.h
math
math.h
mem
phase
add_mem.h
seo.h
mem.h
nvptx
nvptx.h
opt
opt.h
option
option.h
ord
ord.h
refly
refly.h
regex
phase
lower_regex.h
dfa2matcher.h
regex.h
regex2nfa.h
tensor
phase
constraints.h
fuse.h
lower.h
lower_get_set.h
lower_map_reduce.h
lower_to_mem.h
reassoc.h
tensor.h
tuple
tuple.h
vec
vec.h
util
dbg.h
gid.h
types.h
axm.h
check.h
def.h
driver.h
flags.h
lam.h
lattice.h
nest.h
phase.h
plugin.h
rewrite.h
rule.h
schedule.h
sexpr.h
tuple.h
world.h
src
automaton
dfa.cpp
dfamin.cpp
nfa.cpp
nfa2dfa.cpp
mim
ast
ast.cpp
bind.cpp
emit.cpp
family.h	Families of Tok::Tag as reusable case labels; include this in *.cpp files only
lexer.cpp
parser.cpp
stream.cpp
tok.cpp
cli
main.cpp
phase
beta_red.cpp
branch_normalize.cpp
eta_conv.cpp
lam_spec.cpp
optimize.cpp
ret_wrap.cpp
scalarize.cpp
static_arg_opt.cpp
unload.cpp
plug
affine
phase
lower_for.cpp
lower_index.cpp
affine.cpp
autodiff
phase
eval.cpp
autodiff.cpp
normalizers.cpp
btensor
phase
lower_map_reduce.cpp
btensor.cpp
normalizers.cpp
buffer
phase
lower_ptr.cpp
buffer.cpp
normalizers.cpp
clos
phase
branch_clos_elim.cpp
clos2sjlj.cpp
clos_conv.cpp
clos_conv_prep.cpp
lower_typed_clos.cpp
lower_typed_clos_prep.cpp
clos.cpp
normalizers.cpp
compile
compile.cpp
normalizers.cpp
core
core.cpp
normalizers.cpp
cps
phase
conv.cpp
cps.cpp
normalizers.cpp
demo
demo.cpp
normalizers.cpp
gpu
phase
lower_map_reduce.cpp
mem_checks.cpp
remove_double_syncs.cpp
split_apply.cpp
split_off_kernels.cpp
gpu.cpp
ll
rt
mim_rt.c
ll.cpp
ll_nvptx
phase
ll_nvptx.cpp
rt
mim_cuda_rt.c
ll_nvptx.cpp
math
math.cpp
normalizers.cpp
mem
phase
add_mem.cpp
seo.cpp
mem.cpp
normalizers.cpp
nvptx
nvptx.cpp
opt
opt.cpp
option
normalizers.cpp
option.cpp
ord
normalizers.cpp
ord.cpp
refly
normalizers.cpp
refly.cpp
regex
phase
lower_regex.cpp
dfa2matcher.cpp
normalizers.cpp
regex.cpp
regex2nfa.cpp
tensor
phase
constraints.cpp
fuse.cpp
lower.cpp
lower_get_set.cpp
lower_map_reduce.cpp
lower_to_mem.cpp
reassoc.cpp
normalizers.cpp
tensor.cpp
tuple
normalizers.cpp
tuple.cpp
vec
normalizers.cpp
vec.cpp
axm.cpp
check.cpp
def.cpp
dot.cpp
driver.cpp
dump.cpp
lam.cpp
lattice.cpp
nest.cpp
phase.cpp
plugin.cpp
rewrite.cpp
rule.cpp
schedule.cpp
sexpr.cpp
tuple.cpp
world.cpp