This package provides log-domain floats, doubles and complex numbers.
Take an httpd.conf style LogFormat string and parse log files into JSON records.
Logs some message using the server's logging facility. FIXME: does this have to be more general to support FastCGI etc? Maybe we should store log messages in the CGIState?
This module presents a type for storing numbers in the log-domain. The main reason for doing this is to prevent underflow when multiplying many probabilities as is done in Hidden Markov Models. It is also helpful for preventing overflow.
Package to support Propositional and First Order Logic. It includes classes representing the different types of formulas and terms, some instances of those classes for types used in other logic libraries, and implementations of several logic algorithms, including conversion to normal form and a simple resolution-based theorem prover for any instance of FirstOrderFormula.
For information about the TPTP format, see http://www.cs.miami.edu/~tptp/.
* Parser (parse)
* Exporter (toTPTP)
* Pretty-printer (pretty)
* QuickCheck instances (generation of random formulae)
* diff : Get a "formula" which represents the differences between two given formulae (equal subexpressions are truncated; so are the subexpressions of subexpressions whose heads already differ)
* For randomly generated formulae, parse . toTPTP == id
* For all files in the TPTP (v 5.2.0) distribution's Problems subtree which don't match the regex "^(thf|tff)(", parse . toTPTP . parse == parse
Not yet implemented: The new thf and tff formula types.
Backtracking mutable references in the ST and IO monads
A continuation-based, backtracking, logic programming monad. An adaptation of the two-continuation implementation found in the paper "Backtracking, Interleaving, and Terminating Monad Transformers" available here: http://okmij.org/ftp/papers/LogicT.pdf
Blogination reads files written in markdown and outputs xhtml. Supports syntax highlighting. Philosophy is simplicity. Can be used as a library, in a web application for example. Intended use is a simple commandline program to run after changes are made. Ideally use darcs or git with it.
Write blog posts in Markdown format, then use BlogLiterately to do syntax highlighting, format ghci sessions, and upload to any blog supporting the metaWeblog API (such as Wordpress).
To get started, use the provided executable BlogLiterately; see http://byorgey.wordpress.com/blogliterately/ for complete documentation.
To make further customization possible, the internals of the executable are made available as a library. In particular, it is easy to create your own executable which adds extra custom transformations; see Text.BlogLiterately.Run.
A plugin for BlogLiterately (http://hackage.haskell.org/package/BlogLiterately) which turns inline diagrams code into images. This library also provides an executable, BlogLiteratelyD, providing a standard instance of BlogLiterately extended with support for inline diagrams code. For most users it should suffice to simply use BlogLiteratelyD in place of BlogLiterately.
To use it, include code blocks with the dia or dia-def class (using pandoc's special extended Markdown syntax (http://johnmacfarlane.net/pandoc/demo/example9/pandocs-markdown.html), or BlogLiterately's extended syntax for tagged code blocks (http://byorgey.wordpress.com/blogliterately/)), like so:
> -- This block produces no output but its
> -- declarations will be in scope in all the
> -- rest of the diagram blocks.
> gSq = square 1 # fc green
> NOTE: Square brackets below should be replaced
> by curly braces. Haddock chokes on curly
> Here is a green square:
> ```[.dia width='200']
> dia = gSq
> Green squares like `gSq`[.dia height='16']
> and blue circles like `circle 1 # fc blue`[.dia height='16']
> are extremely important.
Note that attributes like width and height can also be specified, but be sure to put the numbers in quotes or else they will not parse properly.
Running this through BlogLiteratelyD (after replacing square brackets with curly braces) should result in HTML that looks something like this:
Tag "http://projects.haskell.org/diagrams/hosted/BLD-post-result.png</a" [Char '>',Char '\n',Char '\n',Char 'V',Char 'e',Char 'r',Char 's',Char 'i',Char 'o',Char 'n',Char ' ',Char '0',Char '.',Char '1',Char '.',Char '2',Char '\n']
Use this library to parse IRC logs saved by the clog bot on Freenode. This includes the logs of #haskell which are available from http://tunes.org/~nef/logs/haskell/.
Suggestions and patches are welcome.
This package contains a translation from a CSPM AST to the representation used by the ProB tool. This code is only interesting for ProB developers.
Show more results