solana-builtins-default-costs cargo 4.5.0-alpha.2 clean Solana builtins default costs 3M 3d ago solana-builtins cargo 4.5.0-alpha.2 clean Solana builtin programs 2M 3d ago tishlang_builtins cargo 4.1.5 clean Shared builtin implementations for Tish (array, string, object, math) 8.1K 23h ago rucc-builtins cargo 0.24.8 clean The libgcc-ABI-compatible runtime support library emitted code may call. 1.9K 6d ago praxis-policy-builtins cargo 0.4.1 clean PPE bundled extensions — Cedar, CEL and OPA decision points, JWT and API-key identity, OAuth delegation, CIBA elicitation, Valkey sessions, Vault secrets. 1.4K 6d ago lora-builtins-meta cargo 0.25.0 clean Static metadata table for LoraDB's namespaced builtin functions — arity, aliases, aggregates. Shared by the analyzer, executor, and editor WASM. 853 3h ago frost-builtins cargo 0.1.24 clean Built-in shell commands for frost 513 5d ago solana-compiler-builtins cargo 0.2.0 clean Solana compiler builtins 74 6h ago verus_builtin cargo 0.0.0-2026-10-11-0230 clean Verus Builtins: Rust definitions for core constructs in Verus 420K 1d ago harn-builtin-meta cargo 0.10.165 clean Shared type definitions for Harn builtin signatures (BuiltinSignature, Param, Ty). Consumed by both harn-parser and harn-vm so signatures stay cycle-free. 22K 15h ago harn-builtin-macros cargo 0.10.165 clean #[harn_builtin] proc-macro: emits a runtime registration entry plus a parser BuiltinSignature from a single annotated function. 20K 15h ago harn-hostlib cargo not built 0.10.165 did not build Opt-in code-intelligence and deterministic-tool host builtins for the Harn VM 16K 15h ago cljrs-runtime cargo 0.2.27 clean clojurust runtime: environment, builtins, tree-walking interpreter, and tiered evaluation 7.3K 1d ago wp-lang cargo 0.8.0 clean WPL language crate with AST, parser, evaluator, builtins, and generators. 4.3K 5h ago rucc-gnu cargo 0.30.0 clean The GNU compatibility surface: features.toml, attributes, builtins, pragmas. 4.2K 2d ago mq-help cargo 0.9.3 clean Documentation catalog for mq: extracts and unifies docs for native builtins, selectors, and mq-defined functions 1.4K 3h ago sema-docs cargo 1.37.0 clean Canonical structured documentation for Sema builtins/special forms; powers LSP hover/completion and REPL apropos 1.1K 3d ago ikigai-lisp cargo 0.3.1 clean Steel-backed Lisp evaluator as an ikigai module: `urn:lisp:eval` runs s-expressions whose builtins ARE the kernel verbs (source/sink/meta/exists/delete), each… 834 2d ago frost-spec cargo 0.1.23 clean Typed frost domain specs (BuiltinSpec, OptionSpec) authored as Lisp via tatara 175 5d ago 