Results for smart_properties

🐙 Phink, a ink! smart-contract property-based and coverage-guided fuzzer

A robust Rust library and CLI tool for generating type-safe Rust models from OpenAPI 3.0 specifications with advanced composition support

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.

Rust bindings for the Listen Notes Podcast API

Smart Contract interface library for Wasp nodes

An ergonomic, powerful, and feature-rich property testing library with minimal boilerplate.

Secure, fast & convenient password manager CLI with GPG & git sync

Secure, fast & convenient password manager CLI with GPG & git sync

Secure, fast & convenient password manager CLI with GPG & git sync

Generate fake / test data from vld JSON Schemas

Property-based fuzzer for ink! smart contracts