├── .gitignore ├── Cargo.lock ├── Cargo.toml ├── backlog-stuff.md ├── dominance.md ├── examples ├── basic.kb ├── explorer │ ├── Cargo.toml │ ├── res │ │ ├── OFL.txt │ │ └── SourceCodePro-Regular.ttf │ └── src │ │ ├── gui.rs │ │ ├── main.rs │ │ └── renderer.rs ├── fib.kb ├── life.kb ├── nested.kb ├── repl │ ├── Cargo.toml │ └── src │ │ └── main.rs ├── tuples.kb └── values.kb ├── ideas.md ├── main.md ├── readme.md └── src ├── bytecode.rs ├── compiler ├── analysis.rs ├── ast.rs ├── bbir.rs ├── bbir_builder.rs ├── codegen.rs ├── infer.rs ├── mod.rs ├── opt.rs ├── parser.rs └── transform.rs ├── index_vec.rs ├── lib.rs ├── packed_option.rs ├── value.rs └── vm.rs /.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | dump.md 3 | -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leddoo/kibi/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leddoo/kibi/HEAD/Cargo.toml -------------------------------------------------------------------------------- /backlog-stuff.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leddoo/kibi/HEAD/backlog-stuff.md -------------------------------------------------------------------------------- /dominance.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leddoo/kibi/HEAD/dominance.md -------------------------------------------------------------------------------- /examples/basic.kb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leddoo/kibi/HEAD/examples/basic.kb -------------------------------------------------------------------------------- /examples/explorer/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leddoo/kibi/HEAD/examples/explorer/Cargo.toml -------------------------------------------------------------------------------- /examples/explorer/res/OFL.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leddoo/kibi/HEAD/examples/explorer/res/OFL.txt -------------------------------------------------------------------------------- /examples/explorer/res/SourceCodePro-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leddoo/kibi/HEAD/examples/explorer/res/SourceCodePro-Regular.ttf -------------------------------------------------------------------------------- /examples/explorer/src/gui.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leddoo/kibi/HEAD/examples/explorer/src/gui.rs -------------------------------------------------------------------------------- /examples/explorer/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leddoo/kibi/HEAD/examples/explorer/src/main.rs -------------------------------------------------------------------------------- /examples/explorer/src/renderer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leddoo/kibi/HEAD/examples/explorer/src/renderer.rs -------------------------------------------------------------------------------- /examples/fib.kb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leddoo/kibi/HEAD/examples/fib.kb -------------------------------------------------------------------------------- /examples/life.kb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leddoo/kibi/HEAD/examples/life.kb -------------------------------------------------------------------------------- /examples/nested.kb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leddoo/kibi/HEAD/examples/nested.kb -------------------------------------------------------------------------------- /examples/repl/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leddoo/kibi/HEAD/examples/repl/Cargo.toml -------------------------------------------------------------------------------- /examples/repl/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leddoo/kibi/HEAD/examples/repl/src/main.rs -------------------------------------------------------------------------------- /examples/tuples.kb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leddoo/kibi/HEAD/examples/tuples.kb -------------------------------------------------------------------------------- /examples/values.kb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leddoo/kibi/HEAD/examples/values.kb -------------------------------------------------------------------------------- /ideas.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leddoo/kibi/HEAD/ideas.md -------------------------------------------------------------------------------- /main.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leddoo/kibi/HEAD/main.md -------------------------------------------------------------------------------- /readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leddoo/kibi/HEAD/readme.md -------------------------------------------------------------------------------- /src/bytecode.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leddoo/kibi/HEAD/src/bytecode.rs -------------------------------------------------------------------------------- /src/compiler/analysis.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leddoo/kibi/HEAD/src/compiler/analysis.rs -------------------------------------------------------------------------------- /src/compiler/ast.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leddoo/kibi/HEAD/src/compiler/ast.rs -------------------------------------------------------------------------------- /src/compiler/bbir.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leddoo/kibi/HEAD/src/compiler/bbir.rs -------------------------------------------------------------------------------- /src/compiler/bbir_builder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leddoo/kibi/HEAD/src/compiler/bbir_builder.rs -------------------------------------------------------------------------------- /src/compiler/codegen.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leddoo/kibi/HEAD/src/compiler/codegen.rs -------------------------------------------------------------------------------- /src/compiler/infer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leddoo/kibi/HEAD/src/compiler/infer.rs -------------------------------------------------------------------------------- /src/compiler/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leddoo/kibi/HEAD/src/compiler/mod.rs -------------------------------------------------------------------------------- /src/compiler/opt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leddoo/kibi/HEAD/src/compiler/opt.rs -------------------------------------------------------------------------------- /src/compiler/parser.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leddoo/kibi/HEAD/src/compiler/parser.rs -------------------------------------------------------------------------------- /src/compiler/transform.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leddoo/kibi/HEAD/src/compiler/transform.rs -------------------------------------------------------------------------------- /src/index_vec.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leddoo/kibi/HEAD/src/index_vec.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leddoo/kibi/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/packed_option.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leddoo/kibi/HEAD/src/packed_option.rs -------------------------------------------------------------------------------- /src/value.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leddoo/kibi/HEAD/src/value.rs -------------------------------------------------------------------------------- /src/vm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leddoo/kibi/HEAD/src/vm.rs --------------------------------------------------------------------------------