Hoare Type Theory for jsCoq
Hoare Type Theory for jsCoq
Optional module for JavaScript that provides interfaces to interact with potentially null/undefined values.
jodid25519 - Curve 25519-based cryptography
An extremely lightweight Functional-Programming SDK for TypeScript: Option/Result types & dynamic casting without bloat
Type-safe Option<T>, Some<T>, None for TypeScript and JavaScript. Replace null and undefined with a Rust-inspired Option type with map, andThen, filter, match, unwrap and Promise interop. Zero dependencies, dual ESM + CJS, ~2 KB.
A powerful & flexible validation and conformation library for your JavaScript data and functions.
Partition algorithms for JavaScript
Expert Delegation System for MUSUBIX - 7 Specialized AI Experts with VS Code LM API
TypeScript-based assertion functions to impose invariants at runtime
Built-in contrax Enforcements — IsNotNull, IsNotBlank, IsPositive — for the TypeScript port.
Selection algorithms for JavaScript
Quicksort algorithm for JavaScript
A powerful & flexible validation and conformation library for your JavaScript data and functions.
Interesting algorithms & data structures on JavaScript.
array splitting code bricks for JavaScript
Quick Sort Algorithm Implementation
A small library to verify preconditions and postconditions.
Design by contract style assertions for Rust
A library for dealing with the HOA (Hanoi Omega Automata) file format.
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)
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.