alexfmpe Goto Github PK

aeson-gadt-th

Template Haskell for generating ToJSON and FromJSON instances for GADTs

agda

Agda is a dependently typed programming language / interactive theorem prover.

alhassy.github.io

Org-mode powered Jekyll blog! -- C.f. AlBasmala.org

android-activity

argon2

Haskell bindings to libargon2 - the reference implementation of the Argon2 password-hashing function

asn1scc

ASN1SCC: An open source ASN.1 compiler for embedded systems

autenticacao.gov

Middleware Oficial de Identificação Eletrónica em Portugal - Cartão de Cidadão, da Chave Móvel Digital e Sistema de Certificação de atributos profissionais

avalanche-docs

avalanche-wallet-cli

awesome-makerdao

A collection of tools, documents, articles, blog posts, interviews, and videos related to MakerDAO and the Dai stablecoin.

base64

RFC 4648-compliant Base64

basic-sop

Basic examples and functions for generics-sop

beam

A type-safe, non-TH Haskell SQL library and ORM

beeraffe

binary

Efficient, pure binary serialisation using ByteStrings in Haskell.

blog-builder

Build my static blog from markdown and source. Written in PureScript

bytestring

An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.

cabal-macosx

Haskell Cabal services for Mac OS X

cabal2nix

Generate Nix build instructions from a Cabal file

chainweb-miner

Official mining software for the Kadena Public Blockchain.

chainweb-node

Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput

clay

A CSS preprocessor as embedded Haskell.

clc-stackage

cli-extras

cli-git

cli-nix

co-log

📓 Composable contravariant combinatorial comonadic configurable convenient logging component

constraints-extras

Convenience functions and template haskell for working with constraints

containers

Assorted concrete container types

contravariant

Haskell 98 contravariant functors