Efficient simple pretty printing combinators A new implementation of the LambdaMOO server Libary to interface with the NCBI Entrez REST service. A library of efficient, purely-functional data structures (Core Implementations) A library of efficient, purely-functional data structures (API) Parsing all context-free grammars using Earley's algorithm. Auto Korean conjugator/adjustor/adopter/converter An implementation of the Dung argumentation frameworks. Communication Free Learning-based constraint solver Cluster algorithms, PCA, and chemical conformere analysis A library for expressing spreadsheet-like computations as the fixed-points of comonads. A backend for the Chart library for FLTKHS A library for generating 2D Charts and Plots A translation from the Carneades argumentation model into Dung's AFs. An implementation and DSL for the Carneades argumentation model. A framework for packaging Haskell software An interpreter of Hagino's Categorical Programming Language (CPL). Delimited continuations and dynamically scoped variables A socker wrapper that makes the IO of sockets much cleaner A markdown-like markup language designed for blog posts Include images in blog posts with inline diagrams code
A tool for posting Haskelly articles to blogs Libary to interface with the NCBI blast REST interface A module to aid in the (de)serialisation of binary data The Bidirectional Generic Update Language Strongly typed Attribute Grammars implemented using type-level programming. A library to generate Netlist code from Arrow descriptions. Example implementation of Algorithm W for Hindley-Milner A functional reactive site management/generation framework. A dependently typed functional programming language and proof assistant Assessment services for the Advise-Me project
Dynamic programming for Set data structures. Here follow all the candidate package versions on Hackage.
0 kommentar(er)
