Results for hoars

A library for dealing with the HOA (Hanoi Omega Automata) file format.

Design by contract style assertions for Rust

Library creates pretty tables at compiler time

An easy to use library for pretty print tables of Rust `struct`s and `enum`s.

Cargo subcommand that discharges verified-anchor proof obligations via Lean.

Formally verified (Lean 4) account-validation runtime for Solana — Anchor-compatible, proof-producing.

Proof-producing proc-macros for verified-anchor (#[derive(VerifiedAccounts)], #[derive(AccountData)], #[account]).

Cargo subcommand for kimi-dotfiles guidelines and verification

necessist

A secure, high-performance messaging protocol library

A minimal `syn` syntax tree pretty-printer (fork of prettyplease with enhanced blank-line heuristics)

Rust grammar for arborium (tree-sitter bindings)

LLM Rescuer uses artificial intelligence to guess what you probably meant when you called a method on nil. Instead of crashing with NoMethodError, it asks GPT to analyze your code and hallucinate a reasonable response. Because clearly, the best way to solve Tony Hoare's billion-dollar mistake is to throw AI at it until it works. What could possibly go wrong? 🎭