Pinned Repositories
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
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
nixpkgs
Nix Packages collection
playing-around
semantic-satiation
alexfmpe's Repositories
alexfmpe/nixpkgs
Nix Packages collection
alexfmpe/aeson-gadt-th
Template Haskell for generating ToJSON and FromJSON instances for GADTs
alexfmpe/argon2
Haskell bindings to libargon2 - the reference implementation of the Argon2 password-hashing function
alexfmpe/cli-extras
alexfmpe/cli-git
alexfmpe/cli-nix
alexfmpe/dependent-monoidal-map
Data.Dependent.Map variant that appends conflicting entries when merging maps instead of discarding one side of the conflict
alexfmpe/dependent-sum
Dependent sums and supporting typeclasses for comparing and displaying them
alexfmpe/dependent-sum-aeson-orphans
JSON instances for DSum and DMap
alexfmpe/gargoyle
A framework for managing daemons from Haskell and libraries for use with postgresql and nix
alexfmpe/generics-sop
Generic Programming using True Sums of Products
alexfmpe/haskoin-core
Haskoin Core is a Bitcoin and Bitcoin Cash library
alexfmpe/haveibeenpwned
Haskell library that uses HIBP to evaluate passwords
alexfmpe/hs-web3
Web3 API for Haskell.
alexfmpe/jsaddle-dom
DOM library that uses jsaddle to support both GHCJS and WebKitGTK
alexfmpe/jsaddle-hello
JSaddle Hello World, an example package
alexfmpe/kepler
A Haskell application that facilitates writing ABCI servers
alexfmpe/lens-sop
Computing lenses generically using generics-sop
alexfmpe/monoidal-containers
Maps using values' monoidal structure during merging
alexfmpe/nix-thunk
seamless management of source dependencies with nix
alexfmpe/obelisk
alexfmpe/patch
Data structures for describing changes to other data structures.
alexfmpe/proto3-wire
alexfmpe/records-sop
Experimental implementation of generic record subtyping
alexfmpe/reflex
alexfmpe/reflex-dom
alexfmpe/reproducible-segfault-rpath
alexfmpe/secp256k1-haskell
Haskell bindings for secp256k1 library
alexfmpe/valor
Simple and easy to use Haskell validation library.
alexfmpe/vessel
Functor-parametric containers