Releases

A Tauri v2 plugin for integrating PostHog analytics into your Tauri applications

Automate Nominal workflows in Rust

Generated Ax runtime library

data structures and algorithms for generating ink! IR code

A procedural macro to provide const default values for serde deserialization.

data structures and algorithms for ink! intermediate representation

[ink!] Rust based eDSL for writing smart contracts for Substrate

Psychology and artificial intelligence for my Hornvale project.

Theory Solvers (EUF, Arithmetic, BitVectors) for OxiZ

Basic timing infrastructure for no_std (currently x86 only) platforms

A simple binary conversion crate

[ink!] Derive macros for common ink_storage defined traits.

A library to acquire a stack trace (backtrace) at runtime in a no-std Rust program.

a simple parser and packing tool for libgdx's Hiero

Reserved

Reserved

Reserved

Reserved

Stupid string to duration converter

Reserved

Lightweight Rust SDK used as Proxyless Service Governance Solution.

Fast PHP static analyzer

CLI for automating Nominal workflows

Analysis engine for the mir PHP static analyzer

Unofficial Rust bindings for Catboost (Machine Learning Gradient Boosting Library from Yandex)

A nom-based parser for ABNF.

Reserved

Reserved

Track your apps in real time

Proof generation and checking for OxiZ SMT solver