![]() ![]() 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 |