kodo/Cargo.toml at main · rfunix/kodo · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
[workspace]
resolver = "2"
exclude = ["benchmarks/rust"]
members = [
    "crates/kodo_ast",
    "crates/kodo_lexer",
    "crates/kodo_parser",
    "crates/kodo_types",
    "crates/kodo_contracts",
    "crates/kodo_resolver",
    "crates/kodo_mir",
    "crates/kodo_codegen",
    "crates/kodo_codegen_llvm",
    "crates/kodo_std",
    "crates/kodo_runtime",
    "crates/kodo_desugar",
    "crates/kodo_lsp",
    "crates/kodoc",
    "crates/kodo_mcp",
    "crates/kotest",
    "crates/kodo_playground",
    "tools/ko",
]

[workspace.package]
version = "1.14.1"
edition = "2021"
rust-version = "1.91"
license = "MIT"
repository = "https://github.com/kodo-lang/kodo"
description = "The Kōdo programming language compiler — designed for AI agents, transparent for humans"

[workspace.dependencies]
# Internal crates
kodo_ast = { path = "crates/kodo_ast" }
kodo_lexer = { path = "crates/kodo_lexer" }
kodo_parser = { path = "crates/kodo_parser" }
kodo_types = { path = "crates/kodo_types" }
kodo_contracts = { path = "crates/kodo_contracts" }
kodo_resolver = { path = "crates/kodo_resolver" }
kodo_mir = { path = "crates/kodo_mir" }
kodo_codegen = { path = "crates/kodo_codegen" }
kodo_codegen_llvm = { path = "crates/kodo_codegen_llvm" }
kodo_std = { path = "crates/kodo_std" }
kodo_desugar = { path = "crates/kodo_desugar" }
kodo_lsp = { path = "crates/kodo_lsp" }
kodo_runtime = { path = "crates/kodo_runtime" }
kodo_mcp = { path = "crates/kodo_mcp" }

# Lexing
logos = "0.16.1"

# Error reporting
ariadne = "0.6.0"
thiserror = "2.0.18"

# CLI
clap = { version = "4.5.60", features = ["derive"] }

# Tracing
tracing = "0.1.44"
tracing-subscriber = { version = "0.3.22", features = ["env-filter"] }

# Code generation
cranelift-codegen = "0.129.1"
cranelift-frontend = "0.129.1"
cranelift-module = "0.129.1"
cranelift-native = "0.129.1"
cranelift-object = "0.129.1"
object = "0.36"

# LLVM (inkwell)
inkwell = { version = "0.8", features = ["llvm21-1"] }

# SMT solver (optional)
z3 = "0.19.13"

# LSP
tower-lsp = "0.20"
tokio = { version = "1", features = ["full"] }

# Testing
insta = "1.46.3"
proptest = "1.10.0"

# Benchmarking
criterion = { version = "0.8.2", features = ["html_reports"] }

# REPL
rustyline = "15"

# Serialization
serde = { version = "1", features = ["derive"] }
serde_json = "1"
toml = "0.8"
sha2 = "0.10"
strsim = "0.11"
rand = "0.8"

# Green threads / concurrency
crossbeam-deque = "0.8"
num_cpus = "1.16"
libc = "0.2"