recursion schemes for cats; to iterate is human, to recurse, divine

A generator of protobuf encoders compliant with ADR-27 (This is a fork of https://github.com/nutsfinance/solidity-protobuf)

Tool used for producing Primer YouTube videos

A trustless P2P fiat onramp powered by ZK proofs.

A collection of Scala best practices

🏆 A ranked list of awesome Scala projects. Updated weekly.

Bitcoin Implementation in Scala

⏺️ Dotenv implementation for Scala sbt builds. Configures environment for local development.

DEPRECATED! Java implementation of the Ethereum yellowpaper. For JSON-RPC and other client features check Ethereum Harmony

EVM in Java

An open-source library to advance Web3 development on Cardano

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Cardano CLI tool for hardware wallets

The Untraceable Stablecoin Protocol.

Scalus - DApps Development Platform for Cardano

a truly censorship-resistant alternative to Twitter that has a chance of working

nostr.net - awesome-nostr is a collection of projects and resources built on nostr to help developers and users find new things

CryptoEconLab at PL aspires to become a hub for research on economic incentives, coordination games, and novel marketplaces.

Reference client for Alephium protocol

A Substrate UTXO workshop

Protocol Buffers - Google's data interchange format

A free book: "The Science of Functional Programming"

Unbound DNS Server Docker Image

Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs

Libra Improvement Proposals

Solid Technical Reports

Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.

Codex durability engine research