├── .github └── workflows │ └── ci.yml ├── .gitignore ├── .gitmodules ├── .ocamlformat ├── LICENSE ├── Makefile ├── PPX ├── Codegen.ml └── dune ├── ant.opam ├── bench ├── Intmap_bench.ml ├── List_bench.ml ├── MonoidHash_bench.ml ├── bench_ant.ml └── dune ├── bin ├── dune └── main.ml ├── data └── mk_program.json ├── docs ├── AGENTS.md ├── README.md ├── dependency.md ├── internal.md └── motivation.md ├── dune-project ├── eval_steps.json ├── examples ├── Cps.ant ├── Ctx.ant ├── Defunctionalize │ ├── Flatten.ant │ ├── Map.ant │ ├── Poly.ant │ ├── RecGroup.ant │ └── RecSingle.ant ├── Live.ant ├── Pat.ant ├── Syntax.ant ├── TailRec.ant ├── Test.ant └── Typing.ant ├── generated ├── FromHazel.ml ├── GeneratedMain.ml ├── LiveCEK.ml ├── LiveLexer.mll ├── LiveParser.mly ├── LiveSeq.ml ├── NamedExpr.ml ├── RunLiveCommon.ml ├── RunLiveDemandDriven.ml ├── RunLiveLeftToRight.ml ├── RunLiveSimple.ml ├── RunTailRec.ml ├── RunTest.ml ├── RunTest.mli ├── TailRecCEK.ml ├── TestCEK.ml ├── TestPlain.ml ├── TestSeq.ml └── dune ├── index.html ├── lib ├── Code.ml ├── Common.ml ├── Compile.ml ├── CompileMemo.ml ├── CompilePlain.ml ├── CompileSeq.ml ├── CompileType.ml ├── Dependency.ml ├── Fresh.ml ├── Hash.ml ├── Intmap.ml ├── Ir.ml ├── Lexer.mll ├── Memo.ml ├── Parser.mly ├── Pat.ml ├── Pattern.ml ├── Reference.ml ├── State.ml ├── SynInfo.ml ├── Syntax.ml ├── Tail.ml ├── Tokens.mly ├── Transform.ml ├── Type.ml ├── Typing.ml ├── Value.ml ├── Word.ml ├── Words.ml ├── batFingerTree.ml ├── compile_flags.txt ├── crc32c_stubs.c ├── dune ├── hashtbl_stubs.c ├── sl2_slow_stubs.c └── sl2_stubs.c ├── nightly.py ├── ocaml_parser.mly ├── setup.sh ├── speedup.png ├── test ├── dune └── test_ant.ml └── tools ├── generate_speedup_index.py ├── plot_speedup.py └── render_live_index.py /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/.gitmodules -------------------------------------------------------------------------------- /.ocamlformat: -------------------------------------------------------------------------------- 1 | version=0.28.1 2 | profile=default 3 | margin=120 4 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/Makefile -------------------------------------------------------------------------------- /PPX/Codegen.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/PPX/Codegen.ml -------------------------------------------------------------------------------- /PPX/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/PPX/dune -------------------------------------------------------------------------------- /ant.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/ant.opam -------------------------------------------------------------------------------- /bench/Intmap_bench.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/bench/Intmap_bench.ml -------------------------------------------------------------------------------- /bench/List_bench.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/bench/List_bench.ml -------------------------------------------------------------------------------- /bench/MonoidHash_bench.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/bench/MonoidHash_bench.ml -------------------------------------------------------------------------------- /bench/bench_ant.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/bench/bench_ant.ml -------------------------------------------------------------------------------- /bench/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/bench/dune -------------------------------------------------------------------------------- /bin/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/bin/dune -------------------------------------------------------------------------------- /bin/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/bin/main.ml -------------------------------------------------------------------------------- /data/mk_program.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/data/mk_program.json -------------------------------------------------------------------------------- /docs/AGENTS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/docs/AGENTS.md -------------------------------------------------------------------------------- /docs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/docs/README.md -------------------------------------------------------------------------------- /docs/dependency.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/docs/dependency.md -------------------------------------------------------------------------------- /docs/internal.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/docs/internal.md -------------------------------------------------------------------------------- /docs/motivation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/docs/motivation.md -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/dune-project -------------------------------------------------------------------------------- /eval_steps.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/eval_steps.json -------------------------------------------------------------------------------- /examples/Cps.ant: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/examples/Cps.ant -------------------------------------------------------------------------------- /examples/Ctx.ant: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/examples/Ctx.ant -------------------------------------------------------------------------------- /examples/Defunctionalize/Flatten.ant: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/examples/Defunctionalize/Flatten.ant -------------------------------------------------------------------------------- /examples/Defunctionalize/Map.ant: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/examples/Defunctionalize/Map.ant -------------------------------------------------------------------------------- /examples/Defunctionalize/Poly.ant: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/examples/Defunctionalize/Poly.ant -------------------------------------------------------------------------------- /examples/Defunctionalize/RecGroup.ant: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/examples/Defunctionalize/RecGroup.ant -------------------------------------------------------------------------------- /examples/Defunctionalize/RecSingle.ant: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/examples/Defunctionalize/RecSingle.ant -------------------------------------------------------------------------------- /examples/Live.ant: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/examples/Live.ant -------------------------------------------------------------------------------- /examples/Pat.ant: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/examples/Pat.ant -------------------------------------------------------------------------------- /examples/Syntax.ant: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/examples/Syntax.ant -------------------------------------------------------------------------------- /examples/TailRec.ant: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/examples/TailRec.ant -------------------------------------------------------------------------------- /examples/Test.ant: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/examples/Test.ant -------------------------------------------------------------------------------- /examples/Typing.ant: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/examples/Typing.ant -------------------------------------------------------------------------------- /generated/FromHazel.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/generated/FromHazel.ml -------------------------------------------------------------------------------- /generated/GeneratedMain.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/generated/GeneratedMain.ml -------------------------------------------------------------------------------- /generated/LiveCEK.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/generated/LiveCEK.ml -------------------------------------------------------------------------------- /generated/LiveLexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/generated/LiveLexer.mll -------------------------------------------------------------------------------- /generated/LiveParser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/generated/LiveParser.mly -------------------------------------------------------------------------------- /generated/LiveSeq.ml: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /generated/NamedExpr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/generated/NamedExpr.ml -------------------------------------------------------------------------------- /generated/RunLiveCommon.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/generated/RunLiveCommon.ml -------------------------------------------------------------------------------- /generated/RunLiveDemandDriven.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/generated/RunLiveDemandDriven.ml -------------------------------------------------------------------------------- /generated/RunLiveLeftToRight.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/generated/RunLiveLeftToRight.ml -------------------------------------------------------------------------------- /generated/RunLiveSimple.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/generated/RunLiveSimple.ml -------------------------------------------------------------------------------- /generated/RunTailRec.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/generated/RunTailRec.ml -------------------------------------------------------------------------------- /generated/RunTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/generated/RunTest.ml -------------------------------------------------------------------------------- /generated/RunTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/generated/RunTest.mli -------------------------------------------------------------------------------- /generated/TailRecCEK.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/generated/TailRecCEK.ml -------------------------------------------------------------------------------- /generated/TestCEK.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/generated/TestCEK.ml -------------------------------------------------------------------------------- /generated/TestPlain.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/generated/TestPlain.ml -------------------------------------------------------------------------------- /generated/TestSeq.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/generated/TestSeq.ml -------------------------------------------------------------------------------- /generated/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/generated/dune -------------------------------------------------------------------------------- /index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/index.html -------------------------------------------------------------------------------- /lib/Code.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/lib/Code.ml -------------------------------------------------------------------------------- /lib/Common.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/lib/Common.ml -------------------------------------------------------------------------------- /lib/Compile.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/lib/Compile.ml -------------------------------------------------------------------------------- /lib/CompileMemo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/lib/CompileMemo.ml -------------------------------------------------------------------------------- /lib/CompilePlain.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/lib/CompilePlain.ml -------------------------------------------------------------------------------- /lib/CompileSeq.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/lib/CompileSeq.ml -------------------------------------------------------------------------------- /lib/CompileType.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/lib/CompileType.ml -------------------------------------------------------------------------------- /lib/Dependency.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/lib/Dependency.ml -------------------------------------------------------------------------------- /lib/Fresh.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/lib/Fresh.ml -------------------------------------------------------------------------------- /lib/Hash.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/lib/Hash.ml -------------------------------------------------------------------------------- /lib/Intmap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/lib/Intmap.ml -------------------------------------------------------------------------------- /lib/Ir.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/lib/Ir.ml -------------------------------------------------------------------------------- /lib/Lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/lib/Lexer.mll -------------------------------------------------------------------------------- /lib/Memo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/lib/Memo.ml -------------------------------------------------------------------------------- /lib/Parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/lib/Parser.mly -------------------------------------------------------------------------------- /lib/Pat.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/lib/Pat.ml -------------------------------------------------------------------------------- /lib/Pattern.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/lib/Pattern.ml -------------------------------------------------------------------------------- /lib/Reference.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/lib/Reference.ml -------------------------------------------------------------------------------- /lib/State.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/lib/State.ml -------------------------------------------------------------------------------- /lib/SynInfo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/lib/SynInfo.ml -------------------------------------------------------------------------------- /lib/Syntax.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/lib/Syntax.ml -------------------------------------------------------------------------------- /lib/Tail.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/lib/Tail.ml -------------------------------------------------------------------------------- /lib/Tokens.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/lib/Tokens.mly -------------------------------------------------------------------------------- /lib/Transform.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/lib/Transform.ml -------------------------------------------------------------------------------- /lib/Type.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/lib/Type.ml -------------------------------------------------------------------------------- /lib/Typing.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/lib/Typing.ml -------------------------------------------------------------------------------- /lib/Value.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/lib/Value.ml -------------------------------------------------------------------------------- /lib/Word.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/lib/Word.ml -------------------------------------------------------------------------------- /lib/Words.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/lib/Words.ml -------------------------------------------------------------------------------- /lib/batFingerTree.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/lib/batFingerTree.ml -------------------------------------------------------------------------------- /lib/compile_flags.txt: -------------------------------------------------------------------------------- 1 | -I/opt/homebrew/lib/ocaml/ -------------------------------------------------------------------------------- /lib/crc32c_stubs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/lib/crc32c_stubs.c -------------------------------------------------------------------------------- /lib/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/lib/dune -------------------------------------------------------------------------------- /lib/hashtbl_stubs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/lib/hashtbl_stubs.c -------------------------------------------------------------------------------- /lib/sl2_slow_stubs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/lib/sl2_slow_stubs.c -------------------------------------------------------------------------------- /lib/sl2_stubs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/lib/sl2_stubs.c -------------------------------------------------------------------------------- /nightly.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/nightly.py -------------------------------------------------------------------------------- /ocaml_parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/ocaml_parser.mly -------------------------------------------------------------------------------- /setup.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/setup.sh -------------------------------------------------------------------------------- /speedup.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/speedup.png -------------------------------------------------------------------------------- /test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/test/dune -------------------------------------------------------------------------------- /test/test_ant.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/test/test_ant.ml -------------------------------------------------------------------------------- /tools/generate_speedup_index.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/tools/generate_speedup_index.py -------------------------------------------------------------------------------- /tools/plot_speedup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/tools/plot_speedup.py -------------------------------------------------------------------------------- /tools/render_live_index.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarisaKirisame/ant/HEAD/tools/render_live_index.py --------------------------------------------------------------------------------