├── .gitignore ├── .ocamlformat ├── LICENSE ├── README.md ├── dune-project ├── nox.opam ├── src ├── codegen │ ├── lua.ml │ └── lua.mli ├── compiler │ ├── diagnostic.mli │ ├── driver.ml │ ├── driver.mli │ ├── environment.ml │ ├── environment.mli │ ├── printer.ml │ ├── printer.mli │ ├── source.ml │ └── source.mli ├── dune ├── eval │ ├── interpreter.ml │ ├── interpreter.mli │ └── values.mli ├── lowering │ ├── ir.mli │ ├── lowerer.ml │ └── lowerer.mli ├── main.ml ├── syntax │ ├── ast.mli │ ├── lexer.ml │ ├── lexer.mli │ ├── parser.ml │ ├── parser.mli │ └── token.mli └── typing │ ├── typechecker.ml │ ├── typechecker.mli │ └── types.mli └── test ├── dune ├── interpreter.ml ├── lexer.ml ├── lowerer.ml ├── lua.ml ├── parser.ml └── typechecker.ml /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/.gitignore -------------------------------------------------------------------------------- /.ocamlformat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/.ocamlformat -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/README.md -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/dune-project -------------------------------------------------------------------------------- /nox.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/nox.opam -------------------------------------------------------------------------------- /src/codegen/lua.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/src/codegen/lua.ml -------------------------------------------------------------------------------- /src/codegen/lua.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/src/codegen/lua.mli -------------------------------------------------------------------------------- /src/compiler/diagnostic.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/src/compiler/diagnostic.mli -------------------------------------------------------------------------------- /src/compiler/driver.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/src/compiler/driver.ml -------------------------------------------------------------------------------- /src/compiler/driver.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/src/compiler/driver.mli -------------------------------------------------------------------------------- /src/compiler/environment.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/src/compiler/environment.ml -------------------------------------------------------------------------------- /src/compiler/environment.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/src/compiler/environment.mli -------------------------------------------------------------------------------- /src/compiler/printer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/src/compiler/printer.ml -------------------------------------------------------------------------------- /src/compiler/printer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/src/compiler/printer.mli -------------------------------------------------------------------------------- /src/compiler/source.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/src/compiler/source.ml -------------------------------------------------------------------------------- /src/compiler/source.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/src/compiler/source.mli -------------------------------------------------------------------------------- /src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/src/dune -------------------------------------------------------------------------------- /src/eval/interpreter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/src/eval/interpreter.ml -------------------------------------------------------------------------------- /src/eval/interpreter.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/src/eval/interpreter.mli -------------------------------------------------------------------------------- /src/eval/values.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/src/eval/values.mli -------------------------------------------------------------------------------- /src/lowering/ir.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/src/lowering/ir.mli -------------------------------------------------------------------------------- /src/lowering/lowerer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/src/lowering/lowerer.ml -------------------------------------------------------------------------------- /src/lowering/lowerer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/src/lowering/lowerer.mli -------------------------------------------------------------------------------- /src/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/src/main.ml -------------------------------------------------------------------------------- /src/syntax/ast.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/src/syntax/ast.mli -------------------------------------------------------------------------------- /src/syntax/lexer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/src/syntax/lexer.ml -------------------------------------------------------------------------------- /src/syntax/lexer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/src/syntax/lexer.mli -------------------------------------------------------------------------------- /src/syntax/parser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/src/syntax/parser.ml -------------------------------------------------------------------------------- /src/syntax/parser.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/src/syntax/parser.mli -------------------------------------------------------------------------------- /src/syntax/token.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/src/syntax/token.mli -------------------------------------------------------------------------------- /src/typing/typechecker.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/src/typing/typechecker.ml -------------------------------------------------------------------------------- /src/typing/typechecker.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/src/typing/typechecker.mli -------------------------------------------------------------------------------- /src/typing/types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/src/typing/types.mli -------------------------------------------------------------------------------- /test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/test/dune -------------------------------------------------------------------------------- /test/interpreter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/test/interpreter.ml -------------------------------------------------------------------------------- /test/lexer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/test/lexer.ml -------------------------------------------------------------------------------- /test/lowerer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/test/lowerer.ml -------------------------------------------------------------------------------- /test/lua.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/test/lua.ml -------------------------------------------------------------------------------- /test/parser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/test/parser.ml -------------------------------------------------------------------------------- /test/typechecker.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coetaur0/nox/HEAD/test/typechecker.ml --------------------------------------------------------------------------------