Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

package SVGFonts

Fonts from the SVG-Font format Native font support for the diagrams framework (https://diagrams.github.io/). Note that this package can be used with any diagrams backend, not just the SVG backend. The SVG-font format is easy to parse and was therefore chosen for a font library completely written in Haskell. You can convert your own font to SVG with http://fontforge.github.io/, or use the included LinLibertine and Bitstream fonts. Features:
- Complete implementation of the features that Fontforge produces (though not the complete SVG format)
- Kerning (i.e. the two characters in "VA" are closer than the characters in "VV")
- Unicode
- Ligatures
XML speed issues can be solved by trimming the svg file to only those characters that are used (or maybe binary xml one day). Version 1.0 of this library supports texturing, though this only makes sense in a diagrams backend that does rasterization in Haskell, such as diagrams-rasterific. Note: for help porting pre-1.8 code to SVGFonts-1.8, see the README.
package SciBaseTypes

Base types and classes for statistics, sciences and humanities This library provides a set of basic types and classes for statistics, sciences, and the humanities.
package ShellCheck

Shell script analysis tool The goals of ShellCheck are:
- To point out and clarify typical beginner's syntax issues, that causes a shell to give cryptic error messages.
- To point out and clarify typical intermediate level semantic problems, that causes a shell to behave strangely and counter-intuitively.
- To point out subtle caveats, corner cases and pitfalls, that may cause an advanced user's otherwise working script to fail under future circumstances.
package Sit

Prototypical type checker for Type Theory with Sized Natural Numbers Sit = Size-irrelevant types Sit is a prototypical language with an Agda-compatible syntax. It has dependent function types, universes, sized natural numbers, and case and recursion over natural numbers. There is a relevant and an irrelevant quantifier over sizes. For an example, see file test/Test.agda.
package TCache

A Transactional cache with user-defined persistence Please see the README on GitHub at https://github.com/agocorona/TCache#readme
package ViennaRNAParser

Libary for parsing ViennaRNA package output Currently contains parsers and datatypes for: RNAalifold, RNAcode, RNAdistance, RNAcofold, RNAfold, RNAplex, RNAup, RNAz. For more information on the ViennaRNA package refer to http://www.tbi.univie.ac.at/RNA/. The libary is tested with Version 2.3.2 of the ViennaRNA package.
package X11-xft

Bindings to the Xft and some Xrender parts A Haskell bindings to the X Font library. With it, Haskell X11 applications can access high quality font renderings and provide fonts with anti-aliasing and subpixel rendering. The bindings also provide minimal bindings to Xrender parts.
package Yampa

Elegant Functional Reactive Programming Language for Hybrid Systems Domain-specific language embedded in Haskell for programming hybrid (mixed discrete-time and continuous-time) systems. Yampa is based on the concepts of Functional Reactive Programming (FRP).
package abstract-deque-tests

A test-suite for any queue or double-ended queue satisfying an interface This package provides tests that can be used with any queue implementation that satisfies the `abstract-deque` interface.
package ace

Attempto Controlled English parser and printer Attempto Controlled English is a formally defined unambiguous language which is a subset of the English language. This package provides a tokenizer, parser and printer for that language. Specifically, it implements the declarative mood and the interrogative mood. The imperative mood is omitted at this time. Interpretation rules, conversion to FoL, or any further analysis is not implemented by this library.

Page 158 of many | Previous | Next