xplat Goto Github PK

agda-categories

A new Categories library for Agda

agda-tactics

Reflective proof tactics and metaprogramming for Agda.

categories

Categories parametrized by morphism equality, in Agda

category-theory

An axiom-free formalization of category theory in Coq for personal study and practical work

codeworld

Educational computer programming environment using Haskell

derpa

A dependently typed model of the repa (herpa?) library in Agda

dune

A composable build system for OCaml.

extls

TLS connections primarily for intranet and extranet uses

haskell-pipes-parse-library

Parsing for the pipes ecosystem

haskell-src-meta

Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.

ladder

mxt

monadic XML toolkit for haskell, based on HXT

nixpkgs

Nix Packages collection

opam-nixify

opam plugin (eventually) to make nix derivations from OPAM package specs

openpit

Explore a land of blocks!

potpourri

things too small to be separate projects

purescript

A small strongly typed language that compiles to Javascript

reflex

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.

reflex-platform

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.

tinymisc

miscellaneous stuff related to TinyAgda

tubular

stream your IO through a series of tubes

xtraverse

Haskell XML Toolbox