AJChapman

Pinned Repositories

acthpa-website
A website generator for the ACTHPA (www.acthpa.org)
Language:HTML3 3 181
aeson-generic-shorthand
A simple Haskell library providing a convenient shorthand for defining ToJSON and FromJSON instances via the Aeson library
Language:Haskell00
agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell00
agda-timely-computation
Working through Conal Elliott's paper 'Timely Computation'
Language:Agda00
android_device_huawei_blanc
Language:Makefile00
android_device_huawei_kirin970-common
Language:Java00
co-log-polysemy-formatting
A Haskell library: A fancy logging effect for Polysemy using the formatting library to format log messages.
Language:Haskell12 3 21
formatting
Format strings type-safely with combinators
Language:HTML163 5 3939
servant-polysemy
A Haskell library: Utilities for using servant in a polysemy stack.
Language:Haskell6 3 45
wind-talker
Client-side rendering of wind talker data from freeflightwx.com
Language:Svelte21

AJChapman's Repositories

AJChapman/formatting
Format strings type-safely with combinators
Language:HTML163 5 3939
AJChapman/co-log-polysemy-formatting
A Haskell library: A fancy logging effect for Polysemy using the formatting library to format log messages.
Language:Haskell12 3 21
AJChapman/servant-polysemy
A Haskell library: Utilities for using servant in a polysemy stack.
Language:Haskell6 3 45
AJChapman/acthpa-website
A website generator for the ACTHPA (www.acthpa.org)
Language:HTML3 3 181
AJChapman/wind-talker
Client-side rendering of wind talker data from freeflightwx.com
Language:Svelte21
AJChapman/aeson-generic-shorthand
A simple Haskell library providing a convenient shorthand for defining ToJSON and FromJSON instances via the Aeson library
Language:Haskell00
AJChapman/agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell00
AJChapman/agda-timely-computation
Working through Conal Elliott's paper 'Timely Computation'
Language:Agda00
AJChapman/android_device_huawei_kirin970-common
Language:Java00
AJChapman/ApsimX
ApsimX is the next generation of APSIM
Language:C#00
AJChapman/distributed-process
Cloud Haskell core library
AJChapman/Frames
Data frames for tabular data.
AJChapman/ghcide-nix
Nix installation for ghcide
AJChapman/Haxl
A Haskell library that simplifies access to remote data, such as databases or web-based services.
AJChapman/jsaddle-dom
DOM library that uses jsaddle to support both GHCJS and WebKitGTK
AJChapman/kakoune
mawww's experiment for a better code editor
AJChapman/modern-uri
Modern library for working with URIs
AJChapman/myunisonrepo
https://www.unisonweb.org/docs/tour
AJChapman/nixpkgs
Nix Packages collection
Language:Nix
AJChapman/obelisk
Functional reactive web and mobile applications, with batteries included.
AJChapman/proprietary_vendor_huawei_kirin970-common
Language:Makefile
AJChapman/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.
AJChapman/reflex-dom-contrib
AJChapman/reflex-dom-storage
AJChapman/servant-auth
Language:Haskell
AJChapman/servant-dhall
Servant dhall bindings
AJChapman/servant-waargonaut
AJChapman/slick
Static site generator build on Shake configured in Haskell
AJChapman/state-machine-testing-course
Course for learning how to apply property-based state-machine testing
Language:Haskell
AJChapman/zulip
Zulip server and webapp - powerful open source team chat
Language:Python