Results for smart_constructor

Runtime Rust mirror of the CommerceTheory Lean package

A tool for analyzing Solidity smart contracts to detect zero address validation patterns

Semver extension with optional 4th digit given patch semantics. Designed for package distributors

Semver extension with upstream and downstream versions. Designed for package distributors

AI/Human task management system with file-based storage

AXON v1.5.1 — first crates.io publication of the AXON language full-stack runtime. Lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the native Rust runtime: typed channels (TypedEventBus with QoS×5, π-calculus mobility, capability extrusion via shield D8 — Fase 13.f.2), Free Monad CPS handlers (Fase 2), lease kernel + reconcile loop (Fase 3+5), Epistemic Security Kernel (ESK Fase 6), Trust Types + ReplayLog (Fase 11.a+11.c), Stateful PEM over WebSocket (Fase 11.d), Ontological Tool Synthesis (Fase 11.e), Mobile Typed Channels (Fase 13). Crate publishes as `axon-lang` to mirror the Python PyPI package; library import remains `use axon::*` so existing call sites keep working unchanged.

A collection of utilities for development

Write validation once, use everywhere: Rust rules auto-generate JSON Schema + OpenAPI + TypeScript/Zod. WASM browser validation. Axum/Actix/Rocket adapters.

Rust API guidelines enums and utilities for code quality and best practices

Library provides a simple API for Google Firestore and own Serde serializer based on efficient gRPC API

Rust library for writing NEAR smart contracts.

Rust library for writing NEAR smart contracts.