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.
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
nixpkgs
Nix Packages collection
obenstein
playing-around
reflex
reflex-gadt-api
Interact with a JSON-serialized API defined by a GADT in your reflex-dom application
reflex-todomvc
Reflex FRP is a composable, cross-platform functional reactive programming framework for Haskell. It allows you to build interactive components in pure functional style, working in harmony with established Haskell techniques and improving the quality and elegance of your applications.
semantic-satiation
alexfmpe's Repositories
alexfmpe/nixpkgs
Nix Packages collection
alexfmpe/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
alexfmpe/obenstein
alexfmpe/reflex
alexfmpe/reflex-todomvc
Reflex FRP is a composable, cross-platform functional reactive programming framework for Haskell. It allows you to build interactive components in pure functional style, working in harmony with established Haskell techniques and improving the quality and elegance of your applications.
alexfmpe/android-activity
alexfmpe/cabal2nix
Generate Nix build instructions from a Cabal file
alexfmpe/free-theorems-static-webui
A browser-only web interface to the free-theorems library
alexfmpe/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
alexfmpe/haskell-candid
A candid library for Haskell
alexfmpe/haskell-halogen
Port of purescript-halogen to Haskell
alexfmpe/Haskell-Pipes-HTTP-Library
HTTP client with pipes interface
alexfmpe/haskell-taskwarrior
Types and aeson instances for the taskwarrior json import/export specification
alexfmpe/hie-bios
Set up a GHC API session for various Haskell Projects
alexfmpe/impli
The IMP Language Interpreter
alexfmpe/jsaddle
JavaScript interface that works with GHCJS or GHC
alexfmpe/lens-family-th
Template Haskell to generate lenses for lens-family and lens-family-core
alexfmpe/lens-sop
Computing lenses generically using generics-sop
alexfmpe/miso
:ramen: A tasty Haskell front-end framework
alexfmpe/obelisk
alexfmpe/packdeps
Web app to track lagging package dependencies.
alexfmpe/proto3-wire
alexfmpe/reflex-dom
alexfmpe/reflex-fsnotify
Watch files and directories for changes using a functional-reactive interface!
alexfmpe/selective
Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically
alexfmpe/skeleton
alexfmpe/splitmix
Pure Haskell implementation of SplitMix pseudo-random number generator
alexfmpe/stackage
Stable Haskell package sets: vetted consistent packages from Hackage
alexfmpe/unordered-containers
Efficient hashing-based container types
alexfmpe/xml
Various XML utility packages for Haskell