LSP-mode and consult.el helping each other

A curated list of distributed key generation and threshold signatures implementations

Smart contract language with formal verification, compiling to EVM bytecode via Yul. Built with Zig for safety and performance

An idiomatic, lean, fast & safe pure Rust implementation of Git

A Rust implementation of the Noise Protocol Framework

An embeddable dynamic programming language for Rust.

Rhai - An embedded scripting language for Rust.

Pure Rust library to parse Arch Linux packages' structured text formats

Implementation of protocols for threshold signatures

Aftermath Typescript SDK

Unified zkVM Interface & Toolkit

Application microframework with command-line option parsing, configuration, error handling, logging, and shell interactions

Markdown notes, backed with Git. Vibe-coded ✌️

Symbolic reasoning toolkit for bitcoin script.

A universal soundness calculator across FRI-based zkEVMs and security regimes

The smart contracts and reference client behind the Keep network

An open-source AI agent that brings the power of Gemini directly into your terminal.

0-art core in Rust

Native PostgreSQL driver for the Rust programming language

This is the typescript sdk for the scallop lending platform on SUI network

Move grammar for tree-sitter

♞ lichess.org: the forever free, adless and open source chess server ♞

The Valida execution engine, prover, and verifier

Semi-honest Two Party Computation Based on Garbled Circuits.

Micro (GNU) Emacs-like text editor ❤️ public-domain

Make your zero-knowledge circuits safe with formal verification! 🍀