Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@hackage xhtml dependents

78 results

@hackage/Agda
A dependently typed functional programming language and proof assistant
MITv2.7.0.1
@hackage/Ansi2Html
Convert ANSI Terminal Sequences to nice HTML markup
BSD-3-Clausev0.9
@hackage/BlogLiterately
A tool for posting Haskelly articles to blogs
GPL-3.0-onlyv0.8.8.2
@hackage/DSH
Database Supported Haskell
BSD-3-Clausev0.12.0.1
@hackage/DisTract
Distributed Bug Tracking System
BSD-3-Clausev0.2.5
@hackage/EditTimeReport
Query language and report generator for edit logs.
LicenseRef-GPLv1.0
@hackage/Flippi
Wiki
BSD-3-Clausev0.0.5
@hackage/HAppS-Server
Web related tools and services.
BSD-3-Clausev0.9.3.1
@hackage/MFlow
stateful, RESTful web framework
BSD-3-Clausev0.4.6.0
@hackage/OpenAFP-Utils
Assorted utilities to work with AFP data streams
LicenseRef-PublicDomainv1.4.1.3
@hackage/PandocAgda
Pandoc support for literate Agda
BSD-3-Clausev2.3.3.0.2
@hackage/RESTng
A framework for writing RESTful applications.
LicenseRef-OtherLicensev0.1
@hackage/Tablify
Tool to render CSV into tables of various formats
BSD-3-Clausev0.8.2
@hackage/WebCont
Continuation based web programming for Happstack
BSD-3-Clausev0.0.1
@hackage/acme-everything
Install everything.
LicenseRef-PublicDomainv2018.11.18
@hackage/activehs
Haskell code presentation tool
BSD-3-Clausev0.3.2
@hackage/agda-server
Http server for Agda (prototype)
BSD-3-Clausev0.1.1
@hackage/agda-snippets
Render just the Agda snippets of a literate Agda file to HTML
BSD-3-Clausev2.5.2
@hackage/archive
A library and programs for creating hardlinked incremental archives or backups
BSD-3-Clausev1.2.12
@hackage/archlinux
Support for working with Arch Linux packages.
BSD-3-Clausev1.3
@hackage/archlinux-web
Website maintenance for Arch Linux packages
BSD-3-Clausev0.1
@hackage/bamboo
A blog engine on Hack
LicenseRef-GPLv2010.2.25
@hackage/bamboo-plugin-highlight
A highlight middleware
LicenseRef-GPLv2009.7.5
@hackage/bamboo-plugin-photo
A photo album middleware
BSD-3-Clausev2009.7.5
@hackage/bamboo-theme-blueprint
bamboo blueprint theme
BSD-3-Clausev2010.2.25.1
@hackage/bamboo-theme-mini-html5
bamboo mini html5 theme
LicenseRef-GPLv2009.11.27
@hackage/bein
Bein is a provenance and workflow management system for bioinformatics.
GPL-3.0-onlyv0.3.3
@hackage/bff
Bidirectionalization for Free! (POPL'09)
LicenseRef-PublicDomainv0.3.1.2
@hackage/bidirectionalization-combined
Prototype Implementation of Combining Syntactic and Semantic Bidirectionalization (ICFP'10)
LicenseRef-PublicDomainv0.1.0.1
@hackage/blogination
Very simple static blog software
BSD-3-Clausev0.5

Next