Pure Rust implementation of Jekyll static site generator compiler
A blazing fast, Jekyll-compatible static site generator written in Rust
A CLI to help create and manage markdown files used by static site generators like Jekyll
A tiny search engine for static websites
CLI for the Bamboo static site generator
A fast static site generator written in Rust
the stupid static site generator fer yer blag
A publishing system for interactive content
A simple but customizable static site generator / blog generator
A fast static site generator written in Rust with internationalization, theming, and modern web features
Cargo subcommand that discharges verified-anchor proof obligations via Lean.
Formally verified (Lean 4) account-validation runtime for Solana — Anchor-compatible, proof-producing.