![]() Haskell binding to the ROOT data analysis framework Haskell Numeric Library with pure functionality, R & MATLAB Syntax. A preprocessor for HList labelable labels A simple graphics library based on X11 or Win32 A Queue with a random (weighted) pick function The library for generating a graphical interface on the web An interface to ARPACK for sparse eigenvalue problems. Hierarchical adaptive Bayesian quantum tomography for quantum bits HTML Canvas graphics, animations and simulations. Geocoder and Reverse Geocoding Service Wrapper Libary for processing the NCBI genbank format Typesafe functional GPU graphics programming A raw binding for the OpenGL graphics system GLFW utility functions to use together with monad-task. Simple client to interact with Google Directions API Frames wrapper for map-reduce-folds and some extra folds helpers. (Context-free) grammars in formal language theory Finite categories and usual categorical constructions on them. Data structure for fast query and update of cumulative sums A 'FailT' monad transformer that plays well with 'MonadFail' 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 Comments
Leave a Reply. |