did-you-actually-do-that 0.1.0
A verification framework for validating claimed AI actions against actual outcomes1 version - Latest release: 3 months ago - 16 downloads total - 1 maintainer
proven 0.9.0
Safe, formally verified library for math, crypto, parsing, validation, and ML - Rust bindings1 version - Latest release: 4 months ago - 25 downloads total - 1 maintainer
anvomidaviser 0.1.0
Convert ISU notation and choreographic intent to formal figure skating programs via Anvomidav1 version - Latest release: about 1 month ago - 8 downloads total - 1 maintainer
eclexiaiser 0.1.0
Add energy, carbon, and resource-cost awareness to existing software via Eclexia economics-as-code1 version - Latest release: about 1 month ago - 0 downloads total - 1 maintainer
wokelangiser 0.1.0
Add consent patterns, inclusive errors, and accessibility to existing code via WokeLang1 version - Latest release: about 1 month ago - 0 downloads total - 1 maintainer
ephapaxiser 0.1.0
Enforce single-use linear type semantics on resources in existing code via Ephapax1 version - Latest release: about 1 month ago - 0 downloads total - 1 maintainer
nimiser 0.1.0
Generate high-performance C libraries from high-level descriptions using Nim metaprogramming1 version - Latest release: about 1 month ago - 0 downloads total - 1 maintainer
atsiser 0.1.0
Wrap C codebases in ATS linear types for zero-cost memory safety without rewrites1 version - Latest release: about 1 month ago - 0 downloads total - 1 maintainer
betlangiser 0.1.0
Add ternary probabilistic uncertainty modelling to deterministic code via Betlang1 version - Latest release: about 1 month ago - 0 downloads total - 1 maintainer
otpiser 0.1.0 💰
Generate OTP supervision trees, GenServers, and fault-tolerance scaffolding from service descript...1 version - Latest release: about 1 month ago - 0 downloads total - 1 stars on GitHub - 1 maintainer
idrisiser 0.1.0
Generate proven-correct wrappers from annotated interfaces using Idris2 dependent types1 version - Latest release: about 1 month ago - 0 downloads total - 1 maintainer
alloyiser 0.1.0
Extract formal models from OpenAPI specs and database schemas, check invariants with Alloy1 version - Latest release: about 1 month ago - 12 downloads total - 1 maintainer
mylangiser 0.1.0
Generate progressive-disclosure interfaces from complex APIs via My-Lang1 version - Latest release: about 1 month ago - 12 downloads total - 1 maintainer
rescript-openapi 0.1.0
Generate type-safe ReScript clients from OpenAPI specifications1 version - Latest release: about 1 month ago - 12 downloads total - 1 stars on GitHub - 1 maintainer
chapeliser 0.1.0 💰
General-purpose Chapel acceleration framework — distribute any workload without learning Chapel1 version - Latest release: about 1 month ago - 12 downloads total - 1 stars on GitHub - 1 maintainer
k9iser 0.1.0 💰
Wrap configs and deployments into self-validating K9 contracts1 version - Latest release: about 1 month ago - 12 downloads total - 1 stars on GitHub - 1 maintainer
k9-svc 0.1.0
Parser and renderer for K9 self-validating configuration format1 version - Latest release: about 2 months ago - 14 downloads total - 1 maintainer
a2ml 0.1.0
Parser and renderer for A2ML (Attested Markup Language)1 version - Latest release: about 2 months ago - 14 downloads total - 1 maintainer
ephapax-proven 0.1.0
Safe Rust wrappers for formally verified Proven library via pure Zig FFI1 version - Latest release: 3 months ago - 16 downloads total - 1 stars on GitHub - 1 maintainer
ephapax-proven-sys 0.1.0
Raw FFI bindings to pure Zig implementation of Proven library (formally verified)1 version - Latest release: 3 months ago - 57 downloads total - 1 maintainer
Details
| Login | hyperpolymath |
| Name | Jonathan D.A. Jewell |
| URL | https://github.com/hyperpolymath |
| Profile | View on crates.io |