Introduction to various ZK languages

🧩 keccaky is a Gleam library for computing Keccak SHA3-256 hashes using a NIF built tiny-keccak Rust crate

⛓️ Crypto functionality for Gleam applications

🧙‍♀️ Move Fast and Break Nothing. End-to-end typesafe APIs made easy.

A comprehensive Web3 library for interacting with smart contracts on Ethereum using Elixir.

Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness,…

🎁 Gleam's standard library

📫 Fault tolerant multicore programs with actors

💯 A collection of Gleam libraries, projects, and resources

The Hedera™ Rust SDK

Customer loyalty program

zkSnark circuit compiler

Lightweight, efficient, binary serialization and deserialization codec

A library for running an embedded Ethereum EVM in-process on a JVM

Solidity Library for Savvies

Complex numbers for Solidity

A configuration as code language with rich validation and tooling.

Official Contracts of the Openfort Project

⭐️ A friendly language for building type-safe, scalable systems!

A programming language for the cloud ☁️ A unified programming model, combining infrastructure and runtime code into one language ⚡

Solidity Reentrancy Guard implementation using Transient Storage Opcodes (EIP-1153)

Part of the Linea stack responsible for extracting data from the execution of an EVM client in order to construct large matrices called execution traces.

A permissioned implementation of Ethereum supporting data privacy

An EVM-equivalent zk-rollup for scaling Ethereum dapps

Linea implementation based on Besu

Polygon zkEVM Smart Contracts

Polygon zkEVM Smart Contracts