Lists (5)
Stars
A C library for parsing/normalizing street addresses around the world. Powered by statistical NLP and open geo data.
Svelte AI Elements is a custom registry built on top of shadcn-svelte to help you build AI-native applications faster.
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
The AI framework that adds the engineering to prompt engineering (Python/TS/Ruby/Java/C#/Rust/Go compatible)
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
A presenter console with multi-monitor support for PDF files.
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
Chalk is a high quality, completely customizable, performant and 100% free Jekyll blog theme.
Source files for the book "NixOS in Production"