Reference Implementation of the Strata Bridge

Rust implementation of the Alpen protocol

Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.

Bitcoin Core related blobs used for quality assurance

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

A massively parallel, optimal functional runtime in Rust

Tensors and neural networks in Haskell

💥 A Lodash-style Go library based on Go 1.18+ Generics (map, filter, contains, find...)

Applicative option parser

BOLT: Basis of Lightning Technology (Lightning Network Specifications)

📝 A text file containing 479k English words for all your dictionary/word-based projects e.g: auto-completion / autosuggestion

Haskell library for the Bitcoin TARO protocol

Bitcoin Library for Haskell

Rust / Wasm framework for creating reliable and efficient web applications

Audio Plugin API

Sapio Frontend

A Bitcoin Programming Language

A purely functional programming language with first class types

Haskell Framework for Electronic Music

nostr client app written in haskell and qt5

Website to collect open bitcoin research problems.

Session Types with Priority in Linear Haskell

Rust Bitcoin library

Haskell library for space- and time-efficient operations over Unicode text.

lnurl specifications

High performance, concurrent functional programming abstractions

gRPC over HTTP/2 for Haskell, client and server