Lists (4)
Stars
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"
A Coq IDE build on top of Proof General's Coq mode
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
Lenses, Prisms, Scenes, and other Optics in Isabelle/HOL
A project to integrate the functionality of Computer Algebra Systems into Isabelle
Minimalist Jekyll Template, dark and light themes