9/9/2023 0 Comments Pokemon go live map 0.2.1![]() 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. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |