rust.md

systems programming language with ownership-based memory safety and zero-cost abstractions

the implementation language of cyber: neural, cyb, trident, and the nox runtime are written in rust. chosen for deterministic execution, no garbage collector pauses, and direct control over memory layout — properties required for provable computation on Triton VM

Homonyms

bootloader/go-cyber/mcp/rust

rust

Graph

Mentions

2026-03-01
analizer/programs/beats.rs
analizer/programs/causal_lm.rs
analizer/programs/encoder.rs
analizer/programs/fasttext.rs
analizer/programs/tts.rs
analizer/programs/video_gen.rs
analizer/programs/vlm.rs
analizer/programs/whisper.rs
analizer/programs/yolo.rs
cyb/cyb-boot/src/main.rs
cyb/cyb/cyb-portal/src/main.rs
cyb/cyb/cyb-services/src/db.rs
cyb/cyb/cyb-services/src/ipfs.rs
cyb/cyb/cyb-services/src/lib.rs
cyb/cyb/cyb-services/src/mining.rs
cyb/cyb/cyb-services/src/server.rs
cyb/cyb/cyb-shell/src/agent/browser.rs
cyb/cyb/cyb-shell/src/agent/mod.rs
cyb/cyb/cyb-shell/src/main.rs
cyb/cyb/cyb-shell/src/shell/hotkeys.rs
cyb/cyb/cyb-shell/src/shell/mod.rs
cyb/cyb/cyb-shell/src/shell/tray.rs
cyb/cyb/cyb-shell/src/worlds/interface.rs
cyb/cyb/cyb-shell/src/worlds/legacy.rs
cyb/cyb/cyb-shell/src/worlds/mod.rs
cyb/cyb/cyb-shell/src/worlds/portal.rs
cyb/cyb/cyb-shell/src/worlds/terminal.rs
cyb/cyb/cyb-ui/src/main.rs
cyb/honeycrisp/acpu/bench/ai.rs
cyb/honeycrisp/acpu/bench/amx.rs
cyb/honeycrisp/acpu/bench/common.rs
cyb/honeycrisp/acpu/bench/cores.rs
cyb/honeycrisp/acpu/bench/crypto.rs
cyb/honeycrisp/acpu/bench/elementwise.rs
cyb/honeycrisp/acpu/bench/integer.rs
cyb/honeycrisp/acpu/bench/memory.rs
cyb/honeycrisp/acpu/bench/numeric.rs
cyb/honeycrisp/acpu/bench/render.rs
cyb/honeycrisp/acpu/bench/sgemm.rs
cyb/honeycrisp/acpu/bench/summary.rs
cyb/honeycrisp/acpu/bench/zk.rs
cyb/honeycrisp/acpu/examples/amx_opcode_scan.rs
cyb/honeycrisp/acpu/examples/amx_reverse.rs
cyb/honeycrisp/acpu/examples/amx_smoke.rs
cyb/honeycrisp/acpu/examples/decompose.rs
cyb/honeycrisp/acpu/examples/diag_bench.rs
cyb/honeycrisp/acpu/examples/exp_asm_test.rs
cyb/honeycrisp/acpu/examples/matmul.rs
cyb/honeycrisp/acpu/examples/neon_vs_amx.rs
cyb/honeycrisp/acpu/examples/overhead_test.rs
cyb/honeycrisp/acpu/examples/pair_load_test.rs
cyb/honeycrisp/acpu/examples/pair_test.rs
cyb/honeycrisp/acpu/examples/phase_time.rs
cyb/honeycrisp/acpu/examples/profile_sgemm.rs
cyb/honeycrisp/acpu/examples/profile64.rs
cyb/honeycrisp/acpu/examples/sgemm_profile.rs
cyb/honeycrisp/acpu/examples/single_vs_par.rs
cyb/honeycrisp/acpu/examples/test_hang.rs
cyb/honeycrisp/acpu/examples/thread_scale.rs
cyb/honeycrisp/acpu/examples/trace_accel.rs
cyb/honeycrisp/acpu/examples/trace64.rs
cyb/honeycrisp/acpu/src/convert.rs
cyb/honeycrisp/acpu/src/crypto/mod.rs
cyb/honeycrisp/acpu/src/field/goldilocks.rs
cyb/honeycrisp/acpu/src/field/merkle.rs
cyb/honeycrisp/acpu/src/field/mod.rs
cyb/honeycrisp/acpu/src/field/ntt.rs
cyb/honeycrisp/acpu/src/field/permute.rs
cyb/honeycrisp/acpu/src/field/poly.rs
cyb/honeycrisp/acpu/src/gemm/gemv_amx_asm.rs
cyb/honeycrisp/acpu/src/gemm/gemv_kern.rs
cyb/honeycrisp/acpu/src/gemm/matvec.rs
cyb/honeycrisp/acpu/src/gemm/mod.rs
cyb/honeycrisp/acpu/src/gemm/other.rs
cyb/honeycrisp/acpu/src/gemm/pool.rs
cyb/honeycrisp/acpu/src/gemm/small.rs
cyb/honeycrisp/acpu/src/lib.rs
cyb/honeycrisp/acpu/src/matrix/asm.rs
cyb/honeycrisp/acpu/src/matrix/fma.rs
cyb/honeycrisp/acpu/src/matrix/kern.rs
cyb/honeycrisp/acpu/src/matrix/mod.rs
cyb/honeycrisp/acpu/src/matrix/ops.rs
cyb/honeycrisp/acpu/src/matrix/regs.rs
cyb/honeycrisp/acpu/src/matrix/tile_f16.rs
cyb/honeycrisp/acpu/src/matrix/tile.rs
cyb/honeycrisp/acpu/src/numeric/bf16.rs
cyb/honeycrisp/acpu/src/numeric/complex.rs
cyb/honeycrisp/acpu/src/numeric/fp16.rs
cyb/honeycrisp/acpu/src/numeric/mod.rs
cyb/honeycrisp/acpu/src/numeric/quant.rs
cyb/honeycrisp/acpu/src/probe/main.rs
cyb/honeycrisp/acpu/src/probe/mod.rs
cyb/honeycrisp/acpu/src/pulse/ffi.rs
cyb/honeycrisp/acpu/src/pulse/mod.rs
cyb/honeycrisp/acpu/src/sparse/chebyshev.rs
cyb/honeycrisp/acpu/src/sparse/mod.rs
cyb/honeycrisp/acpu/src/sync/affinity.rs
cyb/honeycrisp/acpu/src/sync/mod.rs
cyb/honeycrisp/acpu/src/sync/prefetch.rs
cyb/honeycrisp/acpu/src/vector/exp_kern.rs
cyb/honeycrisp/acpu/src/vector/integer_fused.rs
cyb/honeycrisp/acpu/src/vector/integer.rs
cyb/honeycrisp/acpu/src/vector/math.rs
cyb/honeycrisp/acpu/src/vector/media.rs
cyb/honeycrisp/acpu/src/vector/mod.rs
cyb/honeycrisp/acpu/src/vector/reduce.rs
cyb/honeycrisp/acpu/src/vector/render.rs
cyb/honeycrisp/acpu/src/vector/rope.rs
cyb/honeycrisp/acpu/src/vector/scan.rs
cyb/honeycrisp/acpu/src/vector/softmax.rs
cyb/honeycrisp/acpu/tests/integration.rs
cyb/honeycrisp/aruminium/benches/aruminium.rs
cyb/honeycrisp/aruminium/benches/bench.rs
cyb/honeycrisp/aruminium/benches/compare_render.rs
cyb/honeycrisp/aruminium/benches/compare.rs
cyb/honeycrisp/aruminium/benches/metal_rs.rs
cyb/honeycrisp/aruminium/benches/objc2.rs
cyb/honeycrisp/aruminium/benches/shaders.rs
cyb/honeycrisp/aruminium/benches/wgpu_bench.rs
cyb/honeycrisp/aruminium/examples/depth_cube.rs
cyb/honeycrisp/aruminium/examples/matmul.rs
cyb/honeycrisp/aruminium/examples/textured_quad.rs
cyb/honeycrisp/aruminium/examples/triangle.rs
cyb/honeycrisp/aruminium/examples/vecadd.rs
cyb/honeycrisp/aruminium/src/buffer.rs
cyb/honeycrisp/aruminium/src/command.rs
cyb/honeycrisp/aruminium/src/device.rs
cyb/honeycrisp/aruminium/src/dispatch.rs
cyb/honeycrisp/aruminium/src/encoder.rs
cyb/honeycrisp/aruminium/src/ffi/mod.rs
cyb/honeycrisp/aruminium/src/ffi/selectors.rs
cyb/honeycrisp/aruminium/src/ffi/trampoline.rs
cyb/honeycrisp/aruminium/src/lib.rs
cyb/honeycrisp/aruminium/src/pipeline.rs
cyb/honeycrisp/aruminium/src/probe.rs
cyb/honeycrisp/aruminium/src/render/encoder.rs
cyb/honeycrisp/aruminium/src/render/factory.rs
cyb/honeycrisp/aruminium/src/render/mod.rs
cyb/honeycrisp/aruminium/src/render/pass.rs
cyb/honeycrisp/aruminium/src/render/pipeline.rs
cyb/honeycrisp/aruminium/src/render/tests.rs
cyb/honeycrisp/aruminium/src/render/vertex.rs
cyb/honeycrisp/aruminium/src/shader.rs
cyb/honeycrisp/aruminium/src/sync.rs
cyb/honeycrisp/aruminium/src/tests.rs
cyb/honeycrisp/aruminium/src/texture.rs
cyb/honeycrisp/aruminium/tests/integration.rs
cyb/honeycrisp/rane/benches/bench.rs
cyb/honeycrisp/rane/benches/compare.rs
cyb/honeycrisp/rane/examples/matmul.rs
cyb/honeycrisp/rane/src/ffi.rs
cyb/honeycrisp/rane/src/lib.rs
cyb/honeycrisp/rane/src/mil/mod.rs
cyb/honeycrisp/rane/src/model.rs
cyb/honeycrisp/rane/src/probe/compile.rs
cyb/honeycrisp/rane/src/probe/discovery.rs
cyb/honeycrisp/rane/src/probe/eval.rs
cyb/honeycrisp/rane/src/probe/ffi.rs
cyb/honeycrisp/rane/src/probe/frameworks.rs
cyb/honeycrisp/rane/src/probe/main.rs
cyb/honeycrisp/rane/src/surface.rs
cyb/honeycrisp/rane/tests/hardware.rs
cyb/honeycrisp/rane/tests/integration.rs
cyb/honeycrisp/src/lib.rs
cyb/honeycrisp/unimem/benches/alloc.rs
cyb/honeycrisp/unimem/benches/bandwidth.rs
cyb/honeycrisp/unimem/examples/ane_matmul.rs
cyb/honeycrisp/unimem/examples/pipeline.rs
cyb/honeycrisp/unimem/experiments/dext_contiguous_alloc/client/src/main.rs
cyb/honeycrisp/unimem/experiments/dext_iosurface_pa/client/src/main.rs
cyb/honeycrisp/unimem/experiments/hyp_probe/src/main.rs
cyb/honeycrisp/unimem/experiments/iosurface_probe/src/main.rs
cyb/honeycrisp/unimem/src/block.rs
cyb/honeycrisp/unimem/src/ffi.rs
cyb/honeycrisp/unimem/src/grid.rs
cyb/honeycrisp/unimem/src/layout.rs
cyb/honeycrisp/unimem/src/lib.rs
cyb/honeycrisp/unimem/src/tape.rs
cyb/honeycrisp/unimem/tests/roundtrip.rs
cyb/optica/src/compile.rs
cyb/optica/src/config.rs
cyb/optica/src/graph/links.rs
cyb/optica/src/graph/mod.rs
cyb/optica/src/graph/namespaces.rs
cyb/optica/src/graph/pagerank.rs
cyb/optica/src/graph/stats.rs
cyb/optica/src/graph/tags.rs
cyb/optica/src/graph/trikernel.rs
cyb/optica/src/lib.rs
cyb/optica/src/lunar.rs
cyb/optica/src/main.rs
cyb/optica/src/model_query.rs
cyb/optica/src/output/feed.rs
cyb/optica/src/output/files.rs
cyb/optica/src/output/graph.rs
cyb/optica/src/output/media.rs
cyb/optica/src/output/mod.rs
cyb/optica/src/output/search.rs
cyb/optica/src/output/sitemap.rs
cyb/optica/src/parser/admonitions.rs
cyb/optica/src/parser/mod.rs
cyb/optica/src/parser/outliner.rs
cyb/optica/src/parser/properties.rs
cyb/optica/src/parser/wikilinks.rs
cyb/optica/src/query/eval.rs
cyb/optica/src/query/mod.rs
cyb/optica/src/query/parse.rs
cyb/optica/src/render/context.rs
cyb/optica/src/render/mod.rs
cyb/optica/src/render/templates.rs
cyb/optica/src/render/toc.rs
cyb/optica/src/render/transform.rs
cyb/optica/src/scanner/classify.rs
cyb/optica/src/scanner/mod.rs
cyb/optica/src/scanner/subgraph_config.rs
cyb/optica/src/scanner/subgraph.rs
cyb/optica/src/server/mod.rs
cyb/optica/src/server/reload.rs
cyb/optica/src/validator.rs
cyb/optica/tests/incremental_rebuild.rs
cyb/src-tauri/build.rs
cyb/src-tauri/src/db.rs
cyb/src-tauri/src/ipfs.rs
cyb/src-tauri/src/lib.rs
cyb/src-tauri/src/main.rs
cyb/src-tauri/src/metrics.rs
cyb/src-tauri/src/mining.rs
cyb/src-tauri/src/server.rs
cyb/src-tauri/src/utils.rs
cybics/comp/wasm
cybics/lang/lang
neural/trident/benches/end_to_end.rs
neural/trident/benches/references/std/compiler/codegen.rs
neural/trident/benches/references/std/compiler/lexer.rs
neural/trident/benches/references/std/compiler/optimize.rs
neural/trident/benches/references/std/compiler/parser.rs
neural/trident/benches/references/std/compiler/pipeline.rs
neural/trident/benches/references/std/compiler/typecheck.rs
neural/trident/benches/references/std/crypto/bigint.rs
neural/trident/benches/references/std/crypto/merkle.rs
neural/trident/benches/references/std/crypto/poseidon.rs
neural/trident/benches/references/std/crypto/poseidon2.rs
neural/trident/benches/references/std/nn/tensor.rs
neural/trident/benches/references/std/private/poly.rs
neural/trident/benches/references/std/quantum/gates.rs
neural/trident/benches/references/std/trinity/inference.rs
neural/trident/editor/zed/src/lib.rs
neural/trident/src/api/doc.rs
neural/trident/src/api/mod.rs
neural/trident/src/api/pipeline.rs
neural/trident/src/api/tests/check.rs
neural/trident/src/api/tests/compile.rs
neural/trident/src/api/tests/cost.rs
neural/trident/src/api/tests/docs.rs
neural/trident/src/api/tests/features.rs
neural/trident/src/api/tests/format.rs
neural/trident/src/api/tests/mod.rs
neural/trident/src/api/tests/neptune.rs
neural/trident/src/api/tests/prove.rs
neural/trident/src/api/tools.rs
neural/trident/src/ast/display.rs
neural/trident/src/ast/mod.rs
neural/trident/src/ast/navigate.rs
neural/trident/src/bin/trident-lsp.rs
neural/trident/src/cli/audit.rs
neural/trident/src/cli/bench.rs
neural/trident/src/cli/build.rs
neural/trident/src/cli/check.rs
neural/trident/src/cli/compile.rs
neural/trident/src/cli/deploy.rs
neural/trident/src/cli/deps.rs
neural/trident/src/cli/doc.rs
neural/trident/src/cli/fmt.rs
neural/trident/src/cli/generate.rs
neural/trident/src/cli/hash.rs
neural/trident/src/cli/init.rs
neural/trident/src/cli/mod.rs
neural/trident/src/cli/package.rs
neural/trident/src/cli/prove.rs
neural/trident/src/cli/registry.rs
neural/trident/src/cli/run.rs
neural/trident/src/cli/store.rs
neural/trident/src/cli/test.rs
neural/trident/src/cli/train.rs
neural/trident/src/cli/tree_sitter.rs
neural/trident/src/cli/trisha.rs
neural/trident/src/cli/verify.rs
neural/trident/src/cli/view.rs
neural/trident/src/compile/amx.rs
neural/trident/src/compile/ane.rs
neural/trident/src/compile/arm64.rs
neural/trident/src/compile/cerebras.rs
neural/trident/src/compile/ebpf.rs
neural/trident/src/compile/hexagon.rs
neural/trident/src/compile/intel_amx.rs
neural/trident/src/compile/mir2nox.rs
neural/trident/src/compile/mod.rs
neural/trident/src/compile/onnx.rs
neural/trident/src/compile/ptx.rs
neural/trident/src/compile/qasm.rs
neural/trident/src/compile/qir.rs
neural/trident/src/compile/rv32.rs
neural/trident/src/compile/rv64.rs
neural/trident/src/compile/rvv.rs
neural/trident/src/compile/spirv.rs
neural/trident/src/compile/systemverilog.rs
neural/trident/src/compile/tensor_cores.rs
neural/trident/src/compile/thumb2.rs
neural/trident/src/compile/upmem.rs
neural/trident/src/compile/verilog.rs
neural/trident/src/compile/vhdl.rs
neural/trident/src/compile/wasm.rs
neural/trident/src/compile/wgsl.rs
neural/trident/src/compile/x86_64.rs
neural/trident/src/compile/xla.rs
neural/trident/src/config/mod.rs
neural/trident/src/config/project.rs
neural/trident/src/config/resolve/mod.rs
neural/trident/src/config/resolve/resolver.rs
neural/trident/src/config/resolve/tests.rs
neural/trident/src/config/scaffold/mod.rs
neural/trident/src/config/scaffold/tests.rs
neural/trident/src/cost/analyzer.rs
neural/trident/src/cost/json.rs
neural/trident/src/cost/mod.rs
neural/trident/src/cost/model/mod.rs
neural/trident/src/cost/model/triton.rs
neural/trident/src/cost/report.rs
neural/trident/src/cost/scorer.rs
neural/trident/src/cost/stack_verifier/equivalence.rs
neural/trident/src/cost/stack_verifier/executor.rs
neural/trident/src/cost/stack_verifier/mod.rs
neural/trident/src/cost/stack_verifier/scoring.rs
neural/trident/src/cost/stack_verifier/tests.rs
neural/trident/src/cost/visit.rs
neural/trident/src/deploy/mod.rs
neural/trident/src/deploy/tests.rs
neural/trident/src/diagnostic/mod.rs
neural/trident/src/field/babybear.rs
neural/trident/src/field/fixed.rs
neural/trident/src/field/goldilocks.rs
neural/trident/src/field/mersenne31.rs
neural/trident/src/field/mod.rs
neural/trident/src/field/poseidon2.rs
neural/trident/src/field/proof.rs
neural/trident/src/gpu/mod.rs
neural/trident/src/gpu/shaders.rs
neural/trident/src/import/mir.rs
neural/trident/src/import/mod.rs
neural/trident/src/import/structurize.rs
neural/trident/src/import/types.rs
neural/trident/src/ir/kir/lower/mod.rs
neural/trident/src/ir/kir/mod.rs
neural/trident/src/ir/lir/convert.rs
neural/trident/src/ir/lir/lower/mod.rs
neural/trident/src/ir/lir/mod.rs
neural/trident/src/ir/lir/tests.rs
neural/trident/src/ir/mod.rs
neural/trident/src/ir/tir/builder/call.rs
neural/trident/src/ir/tir/builder/cleanup.rs
neural/trident/src/ir/tir/builder/expr.rs
neural/trident/src/ir/tir/builder/helpers.rs
neural/trident/src/ir/tir/builder/layout.rs
neural/trident/src/ir/tir/builder/match_.rs
neural/trident/src/ir/tir/builder/mod.rs
neural/trident/src/ir/tir/builder/stmt.rs
neural/trident/src/ir/tir/builder/tests/advanced.rs
neural/trident/src/ir/tir/builder/tests/basics.rs
neural/trident/src/ir/tir/encode.rs
neural/trident/src/ir/tir/linker.rs
neural/trident/src/ir/tir/lower/mod.rs
neural/trident/src/ir/tir/lower/tests.rs
neural/trident/src/ir/tir/lower/triton.rs
neural/trident/src/ir/tir/mod.rs
neural/trident/src/ir/tir/neural/mod.rs
neural/trident/src/ir/tir/neural/report.rs
neural/trident/src/ir/tir/optimize/mod.rs
neural/trident/src/ir/tir/optimize/spill.rs
neural/trident/src/ir/tir/optimize/tests.rs
neural/trident/src/ir/tir/stack/mod.rs
neural/trident/src/ir/tir/stack/tests.rs
neural/trident/src/ir/tree/lower/mod.rs
neural/trident/src/ir/tree/lower/nox.rs
neural/trident/src/ir/tree/mod.rs
neural/trident/src/lib.rs
neural/trident/src/lsp/actions.rs
neural/trident/src/lsp/builtins.rs
neural/trident/src/lsp/document.rs
neural/trident/src/lsp/folding.rs
neural/trident/src/lsp/hints.rs
neural/trident/src/lsp/incremental.rs
neural/trident/src/lsp/indent.rs
neural/trident/src/lsp/intelligence.rs
neural/trident/src/lsp/mod.rs
neural/trident/src/lsp/project.rs
neural/trident/src/lsp/references.rs
neural/trident/src/lsp/selection.rs
neural/trident/src/lsp/semantic/asm.rs
neural/trident/src/lsp/semantic/mod.rs
neural/trident/src/lsp/semantic/tests.rs
neural/trident/src/lsp/server.rs
neural/trident/src/lsp/textobjects.rs
neural/trident/src/lsp/util/mod.rs
neural/trident/src/lsp/util/tests.rs
neural/trident/src/main.rs
neural/trident/src/neural/checkpoint.rs
neural/trident/src/neural/data/mod.rs
neural/trident/src/neural/data/pairs.rs
neural/trident/src/neural/data/replay.rs
neural/trident/src/neural/data/tir_graph/builder.rs
neural/trident/src/neural/data/tir_graph/mod.rs
neural/trident/src/neural/data/tir_graph/node.rs
neural/trident/src/neural/data/tir_graph/tests.rs
neural/trident/src/neural/data/tir_graph/types.rs
neural/trident/src/neural/inference/beam.rs
neural/trident/src/neural/inference/execute.rs
neural/trident/src/neural/inference/mod.rs
neural/trident/src/neural/mod.rs
neural/trident/src/neural/model/composite.rs
neural/trident/src/neural/model/decoder.rs
neural/trident/src/neural/model/encoder.rs
neural/trident/src/neural/model/gnn_ops.rs
neural/trident/src/neural/model/grammar_tables.rs
neural/trident/src/neural/model/grammar.rs
neural/trident/src/neural/model/mod.rs
neural/trident/src/neural/model/vocab.rs
neural/trident/src/neural/training/augment.rs
neural/trident/src/neural/training/gflownet.rs
neural/trident/src/neural/training/mod.rs
neural/trident/src/neural/training/online.rs
neural/trident/src/neural/training/supervised.rs
neural/trident/src/package/cache.rs
neural/trident/src/package/hash/mod.rs
neural/trident/src/package/hash/normalize.rs
neural/trident/src/package/hash/serialize.rs
neural/trident/src/package/hash/tests.rs
neural/trident/src/package/manifest/lockfile.rs
neural/trident/src/package/manifest/mod.rs
neural/trident/src/package/manifest/parse.rs
neural/trident/src/package/manifest/resolve.rs
neural/trident/src/package/manifest/tests.rs
neural/trident/src/package/mod.rs
neural/trident/src/package/poseidon2.rs
neural/trident/src/package/registry/client.rs
neural/trident/src/package/registry/json.rs
neural/trident/src/package/registry/mod.rs
neural/trident/src/package/registry/store_integration.rs
neural/trident/src/package/registry/tests.rs
neural/trident/src/package/registry/types.rs
neural/trident/src/package/store/deps.rs
neural/trident/src/package/store/format.rs
neural/trident/src/package/store/mod.rs
neural/trident/src/package/store/persist.rs
neural/trident/src/package/store/tests.rs
neural/trident/src/runtime/artifact.rs
neural/trident/src/runtime/mod.rs
neural/trident/src/syntax/format/expr.rs
neural/trident/src/syntax/format/items.rs
neural/trident/src/syntax/format/mod.rs
neural/trident/src/syntax/format/stmts.rs
neural/trident/src/syntax/format/tests.rs
neural/trident/src/syntax/grammar/dsl.rs
neural/trident/src/syntax/grammar/mod.rs
neural/trident/src/syntax/grammar/tests.rs
neural/trident/src/syntax/grammar/trident.rs
neural/trident/src/syntax/lexeme.rs
neural/trident/src/syntax/lexer/mod.rs
neural/trident/src/syntax/lexer/tests.rs
neural/trident/src/syntax/mod.rs
neural/trident/src/syntax/parser/expr.rs
neural/trident/src/syntax/parser/items.rs
neural/trident/src/syntax/parser/mod.rs
neural/trident/src/syntax/parser/stmts.rs
neural/trident/src/syntax/parser/tests/advanced.rs
neural/trident/src/syntax/parser/tests/basics.rs
neural/trident/src/syntax/parser/tests/mod.rs
neural/trident/src/syntax/parser/types.rs
neural/trident/src/syntax/span.rs
neural/trident/src/typecheck/analysis.rs
neural/trident/src/typecheck/block.rs
neural/trident/src/typecheck/builtins.rs
neural/trident/src/typecheck/expr.rs
neural/trident/src/typecheck/mod.rs
neural/trident/src/typecheck/resolve.rs
neural/trident/src/typecheck/stmt.rs
neural/trident/src/typecheck/tests/advanced.rs
neural/trident/src/typecheck/tests/basics.rs
neural/trident/src/typecheck/tests/mod.rs
neural/trident/src/typecheck/types.rs
neural/trident/src/verify/equiv/differential.rs
neural/trident/src/verify/equiv/mod.rs
neural/trident/src/verify/equiv/polynomial.rs
neural/trident/src/verify/equiv/tests.rs
neural/trident/src/verify/mod.rs
neural/trident/src/verify/report/mod.rs
neural/trident/src/verify/report/suggestions.rs
neural/trident/src/verify/report/tests.rs
neural/trident/src/verify/smt/mod.rs
neural/trident/src/verify/smt/runner.rs
neural/trident/src/verify/smt/tests.rs
neural/trident/src/verify/solve/eval.rs
neural/trident/src/verify/solve/mod.rs
neural/trident/src/verify/solve/solver.rs
neural/trident/src/verify/solve/tests.rs
neural/trident/src/verify/sym/executor.rs
neural/trident/src/verify/sym/expr.rs
neural/trident/src/verify/sym/mod.rs
neural/trident/src/verify/sym/tests.rs
neural/trident/src/verify/synthesize/infer.rs
neural/trident/src/verify/synthesize/mod.rs
neural/trident/src/verify/synthesize/templates.rs
neural/trident/src/verify/synthesize/tests.rs
neural/trident/tests/audit_stdlib.rs
soft3/hemera/bench/benches/hash.rs
soft3/hemera/bench/benches/permutation.rs
soft3/hemera/bench/benches/tree.rs
soft3/hemera/cli/src/main.rs
soft3/hemera/rs/src/async_io.rs
soft3/hemera/rs/src/batch.rs
soft3/hemera/rs/src/bootstrap.rs
soft3/hemera/rs/src/cdc.rs
soft3/hemera/rs/src/constants.rs
soft3/hemera/rs/src/encoding.rs
soft3/hemera/rs/src/field.rs
soft3/hemera/rs/src/lib.rs
soft3/hemera/rs/src/merkle.rs
soft3/hemera/rs/src/params.rs
soft3/hemera/rs/src/permutation.rs
soft3/hemera/rs/src/sparse.rs
soft3/hemera/rs/src/sponge.rs
soft3/hemera/rs/src/step_sponge.rs
soft3/hemera/rs/src/stream_async.rs
soft3/hemera/rs/src/stream.rs
soft3/hemera/rs/src/trace.rs
soft3/hemera/rs/src/tree.rs
soft3/hemera/rs/tests/vectors.rs
soft3/hemera/wgsl/src/lib.rs
soft3/hemera/wgsl/tests/gpu.rs
languages
whitepaper.md