Lists (5)
Stars
Privacy first, AI meeting assistant with 4x faster Parakeet/Whisper live transcription, speaker diarization, and Ollama summarization built on Rust. 100% local processing. no cloud required. Meetil…
Claude-first paid-media operations skill for Claude Code across 12 ad platforms (Google, Meta, YouTube, LinkedIn, TikTok, Microsoft, Apple, Amazon, Reddit, Pinterest, Snapchat, X): source-grounded …
Universal SEO skill for Claude Code. 25 sub-skills + 18 sub-agents covering technical SEO, E-E-A-T, schema, GEO/AEO, backlinks, local SEO, maps intelligence, semantic clustering, e-commerce SEO, in…
Sitemap focused on ease of use and making it impossible to forget to add your paths. For TanStack Start & SvelteKit.
Give your agents a brain. Semantic memory for AI agents — index your knowledge base, search by meaning, single binary.
Haskell bindings to https://github.com/google/libphonenumber
A C library for parsing/normalizing street addresses around the world. Powered by statistical NLP and open geo data.
Svelte AI Elements is a unofficial port of Vercel AI Elements, built on top of shadcn-svelte.
Open Source search based on OpenStreetMap data
Install and manage a high performance WordPress stack with a few keystrokes
Weighs the soul of incoming HTTP requests to stop AI crawlers
A comprehensive Rust library for interacting with Pact smart contracts and the Kadena blockchain.
Markdown driven directory template. Built with Astro and Tailwindcss. Optimized for SEO. Beautiful Customizable Style
A collection of smart contract vulnerabilities along with prevention methods
Standard ML Infrastructure for writing LSP servers
Prove functional correctness of Ethereum smart contracts in higher-order logic
A website listing all the best FV companies in the Crypto space.
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
A mechanisation of Wasm in Isabelle.
Article: Functional Declarative Design
A coq plugin to deal with commutative diagrams