Pinned Repositories
agda-tactics
Reflective proof tactics and metaprogramming for Agda.
categories
Categories parametrized by morphism equality, in Agda
derpa
A dependently typed model of the repa (herpa?) library in Agda
extls
TLS connections primarily for intranet and extranet uses
Openpit
Explore a land of blocks!
potpourri
things too small to be separate projects
tinymisc
miscellaneous stuff related to TinyAgda
tubular
stream your IO through a series of tubes
xplat's Repositories
xplat/agda-tactics
Reflective proof tactics and metaprogramming for Agda.
xplat/potpourri
things too small to be separate projects
xplat/categories
Categories parametrized by morphism equality, in Agda
xplat/derpa
A dependently typed model of the repa (herpa?) library in Agda
xplat/extls
TLS connections primarily for intranet and extranet uses
xplat/Openpit
Explore a land of blocks!
xplat/tinymisc
miscellaneous stuff related to TinyAgda
xplat/tubular
stream your IO through a series of tubes
xplat/agda-categories
A new Categories library for Agda
xplat/category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
xplat/codeworld
Educational computer programming environment using Haskell
xplat/dune
A composable build system for OCaml.
xplat/Haskell-Pipes-Parse-Library
Parsing for the pipes ecosystem
xplat/haskell-src-meta
Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
xplat/KaTeX
Fast math typesetting for the web.
xplat/ladder
xplat/mxt
monadic XML toolkit for haskell, based on HXT
xplat/nixpkgs
Nix Packages collection
xplat/opam-nixify
opam plugin (eventually) to make nix derivations from OPAM package specs
xplat/purescript
A small strongly typed language that compiles to Javascript
xplat/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.
xplat/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.
xplat/xtraverse
Haskell XML Toolbox