ajchapman Goto Github PK

acthpa-website

A website generator for the ACTHPA (www.acthpa.org)

aeson-generic-shorthand

A simple Haskell library providing a convenient shorthand for defining ToJSON and FromJSON instances via the Aeson library

agda

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

agda-frp

Functional Reactive Programming in Agda, adapting [Conal Elliott's Push-Pull Functional Reactive Programming](http://conal.net/papers/push-pull-frp/push-pull-frp.pdf).

agda-geometry

Learning proofs in Agda by trying to geometry in the style of Euclid

agda-timely-computation

Working through Conal Elliott's paper 'Timely Computation'

android_device_huawei_blanc

android_device_huawei_kirin970-common

apsimx

ApsimX is the next generation of APSIM

co-log-polysemy-formatting

A Haskell library: A fancy logging effect for Polysemy using the formatting library to format log messages.

csvquery

distributed-process

Cloud Haskell core library

formatting

Format strings type-safely with combinators

frames

Data frames for tabular data.

ghcide-nix

Nix installation for ghcide

haxl

A Haskell library that simplifies access to remote data, such as databases or web-based services.

jsaddle-dom

DOM library that uses jsaddle to support both GHCJS and WebKitGTK

kakoune

mawww's experiment for a better code editor

modern-uri

Modern library for working with URIs

myunisonrepo

https://www.unisonweb.org/docs/tour

nixpkgs

Nix Packages collection

obelisk

Functional reactive web and mobile applications, with batteries included.

proprietary_vendor_huawei_kirin970-common

reflex

Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just like other pure functional code, functional reactive code is easier to get right on the first try, maintain, and reuse.

reflex-dom-contrib

reflex-dom-storage

rspp

servant-auth

servant-dhall

Servant dhall bindings

servant-polysemy

A Haskell library: Utilities for using servant in a polysemy stack.