Pinned Repositories
aghast
Efforts to get the AngularJS and the haste compiler to play nicely together.
banana-cereal
Recieve and send Reactive-Banana Event streams over WebSockets
blockfrost-haskell
Haskell SDK for Blockfrost.io
book
A textbook on informal homotopy type theory
paisley
reactive-banana
Reactive-banana is a library for functional reactive programming, written in the beautiful language Haskell.
snap
Snap project starter executable plus some libraries for building web apps
snaplet-auth-acid
An AcidState backend for Snap's Auth Snaplet
texmath
A Haskell library for converting LaTeX math to MathML.
unoconv
Universal Office Converter - Convert between any document format supported by LibreOffice/OpenOffice.
zopa's Repositories
zopa/paisley
zopa/snap
Snap project starter executable plus some libraries for building web apps
zopa/aghast
Efforts to get the AngularJS and the haste compiler to play nicely together.
zopa/blockfrost-haskell
Haskell SDK for Blockfrost.io
zopa/book
A textbook on informal homotopy type theory
zopa/cabal
Official upstream development repository for Cabal and cabal-install
zopa/contentful-management.js
JavaScript library for Contentful's Management API (node & browser)
zopa/crudsnap
zopa/diagrams-svg
An SVG backend for diagrams
zopa/diagrams-svgdom
zopa/doom-emacs
An Emacs framework for the stubborn martian hacker
zopa/gentoo-haskell
official gentoo haskell overlay
zopa/ghcjs-dom
Make Document Object Model (DOM) apps that run in any browser and natively using WebKitGtk
zopa/HoTT-Agda
Development of homotopy type theory in Agda
zopa/InTheFight
zopa/jsaddle
JavaScript interface that works with GHCJS or GHC
zopa/jsaddle-dom
DOM library that uses jsaddle to support both GHCJS and WebKitGTK
zopa/madao
zopa/nix
Nix, the purely functional package manager
zopa/nixpkgs
Nix Packages collection
zopa/ny-haskell.org
zopa/plutus
The Plutus language implementation and tools
zopa/reffit
Community mini-reviews for scientific papers
zopa/reflex
zopa/reflex-dom
zopa/reflex-platform
zopa/snap-core
Core type definitions (Snap monad, HTTP types, etc) and utilities for web handlers.
zopa/snap-server
An iteratee-based HTTP server library, which runs Snap web handlers.
zopa/svg-builder
zopa/yi
The Haskell-Scriptable Editor