Dependent Lens FRP and concurrent model in Agda

M3U Playlist for free TV channels

Besplatan udžbenik za početno učenje funkcionalnog programiranja (Haskell), na srpskom jeziku.

Lightweight manager for Cardano binaries and configs.

An interactive and powerful Git interface for Neovim, inspired by Magit

Bringing zk-snarks to Cardano

A library for stateful property-based testing

Inspecting tool for GHC compilation pipeline

Hydra Voting PoC with Catalyst

An open-source library for Cardano developers using Hydra (Head)

A modern smart contract platform for Cardano

Nix builds of Haskell Language Server

Cardano Improvement Proposals (CIPs)

Monad transformers for the persistent library

Implementation of the Hydra Head protocol

Wrapper around email-validate adding new non-orphaned instances to EmailAddress

Transform SVG to valid JSX.

The core component that is used to participate in a Cardano decentralised blockchain.

The Plutus language implementation and tools

Documentation Space for the Plutus Community.

Search for old versions of Nix packages

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

Add early return to any do-expression

generate haskell types for Squeal from a running postgresql database.

Generate Nix expressions to build NPM packages

Template Haskell for generating ToJSON and FromJSON instances for GADTs

Functional reactive web and mobile applications, with batteries included.

Source material for Algebra-Driven Design

fish and zsh support for the nix run and nix-shell environments of the Nix package manager