Clang bindings for .NET written in C#

Production-grade engineering skills for AI coding agents.

Zinc+ is a performance-oriented SNARK framework designed to handle computations across multiple mathematical domains without the "witness inflation" overhead typical of traditional arithmetization.

Tutorials, showcases and extensions for the axum web site building crate written in Rust

Public repository for Agent Skills

Skills Catalog for Codex

Repository for skills to assist AI coding agents with .NET and C#

The missing knowledge between AI agents and production Ethereum.

LLVM-based Solidity compiler.

Windows Subsystem for Linux

⟠ A curated list of awesome Solidity resources, libraries, tools and more

Mastering Ethereum: 2nd Edition, by Andreas M. Antonopoulos, Gavin Wood, Carlo Parisi, Alessandro Mazza, Niccolò Pozzolini

A Rust compiler backend targeting CIL(.NET IR) and C.

Aspire is the tool for code-first, extensible, observable dev and deploy.

⚓ A collection of high-performance JavaScript tools.

Official container images for .NET

The Community Manifest Creator for WinGet

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

This repository contains Zk learning resources

A taxonomy for open source cryptocurrency, blockchain, and decentralized ecosystems

Vitalik's annotated eth2 spec. Not intended to be "the" annotated spec; other documents like Ben Edgington's https://benjaminion.xyz/eth2-annotated-spec/ also exist. This one is intended to focus m…

Static Analyzer for Solidity and Vyper

Run macOS VM in a Docker! Run near native OSX-KVM in Docker! X11 Forwarding! CI/CD for OS X Security Research! Docker mac Containers.

A .NET library that makes it easier to create beautiful console applications.

Command line parsing, invocation, and rendering of terminal output.

DacFx, SqlPackage, and other SQL development libraries enable declarative database development and database portability across SQL versions and environments. Share feedback here on dacpacs, bacpacs…

.NET Community Toolkit is a collection of helpers and APIs that work for all .NET developers and are agnostic of any specific UI platform. The toolkit is maintained and published by Microsoft, and …

💅🏻 ⚒ A collection of awesome design systems

OpenID Connect (OIDC) and OAuth2 protocol support for browser-based JavaScript applications

Completely unstyled, fully accessible UI components, designed to integrate beautifully with Tailwind CSS.