A composable, deterministic text data pipeline for ML. Ingest, denoise, chunk, split, and sample multi-source corpora into reproducible training triplets.
Hash-anchored line editing for AI coding agents. Library + CLI providing O(1) line addressing via 2-char xxh32 hashes, surgical edits with drift detection, and patch-safe text mutations.
Cargo subcommand that discharges verified-anchor proof obligations via Lean.
extra shell binding for layershell with winit like eventloop
extra shell binding for layershell with winit like eventloop
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]).
Bitcoin OP_RETURN anchoring for PQ-RASCV attestation audit trails
Simplified Anchor testing with LiteSVM - similar syntax to anchor-client, 78% less code
A tool for generating a typescript file from an Anchor IDL json file.
Contains CLI utilities for interacting with the Blober program on Solana.
Adapter for reading Anchor-framework accounts from Jiminy programs. Provides Anchor discriminator utilities and account header translation.
A check for puppet-lint that validates no anchor resources are used
ViewComponents for Buoy’s design system, Anchor
An alternative to link_to :back which also allows to go to previous page with anchor
HTML anchor rails helper
Anchor is a hosted PKI platform for your internal organization.
Description
Anchor tags with icons for new window and internet archive.
Any URLs that occur in the text of the web page are automatically surrounded by an anchor tag.
A new kind of time
Add anchors to your h1-h6 tags in Middleman or Rack
A simple gem to convert urls to anchor tags.
Strips urls from anchors and forms to essentially create an html page that doesn't like anywhere