Atom : a domain specific language for hard realtime applications

Atom 0.1.0 has just been released by Tom Hawkins.

Atom is an open source language, embedded in Haskell, for writing embedded real-time software. It was originally designed and deployed at Eaton Corporation to improve development times and ease of verification of hydraulic hybrid systems in buses and trucks. It has been open sourced, and is starting to be used for other embedded systems programming tasks.

Atom uses ideas from conditional term rewriting to compile atomic transition rules into C code with guarantees of constant memory use and execution time.

The productivity benefits were impressive from April 2009:

• 5K lines of Haskell/atom replaced 120K lines of matlab, simulink,
  and visual basic.
• 2 months to port simulink design to atom. – 3K lines of atom generates 22K lines of embedded C.
• Rules with execution periods from 1ms to 10s all scheduled at
  compile time to a 1 ms main loop.
• Atom design clears electronic/sw testing on first pass.
• Currently in vehicle testing with no major issues.

Atom compiles Haskell source to C (so you can use it for writing regular old C programs). Here’s an example Atom kernel by Lee Pike:

atom "computeFib" $ do
  cond $ value runFib
  cond $ value i >. 0
  decr i
  snd <== (value fst) + (value snd)
  fst <== value snd

Examples are included in the Atom source.

It is available for Arch Linux:

• yaourt haskell-atom

Resources for Atom Programming

• Tom’s CUFP talk about Atom (PDF slides)
• An Atomic Fibonacci Server (generating C from Atom)
• Programming the Arduino with Atom: Part 1
• Programming the Arduino with Atom: Part 2

Arch Haskell News: July 25 2009

Hackage now has 1443 (+48) Haskell packages, of which 1266 (+44) (87.7%) have been natively packaged for Arch in AUR. All these packages are available via AUR, using the “yaourt” tool.

Read the full list of updates.

Notable Updates

There were some quite significant new apps, and libraries this month.

• haskell-graphviz-2999.1.0.2: GraphViz bindings for Haskell.
• haskell-persistent-map-0.2.2: A thread-safe interface for finite map types with optional persistency support.
• hspresent-0.1: A terminal presentation tool
• hsffig-1.1: Generate FFI import declarations from C include files
• haskell-theora-1.0: bindings to the Video Compression Library (see http: theora.org)
• timberc-1.0.3: The Timber Compiler.
• haskell-utf8-string-0.3.5: Support for reading and writing UTF8 Strings
• haskell-generator-0.5.2: Python-generators notation for creation of monadic lists
• haskell-text-0.3: An efficient packed Unicode text type
• haskell-hdbc-2.1.1: Haskell Database Connectivity
• haskell-takusen-0.8.5: Database library with left-fold interface, for PostgreSQL, Oracle, SQLite, ODBC.
• hoogle-4.0.7: Haskell API Search
• hlint-1.6.4: Source code suggestions
• djinn-2009.2.8: Generate Haskell code from a type
• cabal2arch-0.5.3: Create Arch Linux packages from Cabal packages
• yi-0.6.1: The Haskell-Scriptable Editor
• cpphs-1.7: A liberalised re-implementation of cpp, the C pre-processor.
• minesweeper-0.4.1: Minesweeper game which is always solvable without guessing
• haskell-chart-0.11: A library for generating 2D Charts and Plots
• haskell-jmacro-0.1: QuasiQuotation library for programmatic generation of Javascript code.
• curry-frontend-0.2.2: Compile the functional logic language Curry to several intermediate formats

• haskell-htensor-0.1.0: Multidimensional arrays and simple tensor computations.
• haskell-species-0.1: Combinatorial species library
• haskell-yices-0.0.0.1: Haskell programming interface to Yices SMT solver
• haskell-haskellformaths-0.1.6: Math library – combinatorics, group theory, commutative algebra, non-commutative
• haskell-hmatrix-0.5.2.2: Linear algebra and numerical computations
• haskell-fft-0.1.4: Bindings to the FFTW library.
• haskell-network-2.2.1.4: Networking-related facilities
• twitter-0.1.1: A Haskell-based CLI Twitter client
• haskell-hxt-8.3.1: A collection of tools for processing XML with Haskell.

Arch Haskell News: June 30 2009

Another update, since there was a bit of a package backlog.

Hackage now has 1395 (+130) Haskell packages, of which 1222 (+113) (87.6%) have been natively packaged for Arch in AUR. All these packages are available via AUR, using the “yaourt” tool.

The full log of updates and new packages is available here.

Notable Updates

• haskell-hdbc-2.1.1: Haskell Database Connectivity
• haskell-takusen-0.8.5: Database library with left-fold interface, for PostgreSQL, Oracle, SQLite, ODBC.
• cpphs-1.7: A liberalised re-implementation of cpp, the C pre-processor.
• haskell-chart-0.11: A library for generating 2D Charts and Plots
• haskell-atom-0.0.5: A DSL for embedded hard realtime applications.
• haskell-hmatrix-0.5.2.2: Linear algebra and numerical computations
• haskell-network-2.2.1.3: Networking-related facilities
• haskell-hxt-8.3.1: A collection of tools for processing XML with Haskell.

Dozens of other packages have been added as well. Interestingly, a handful of new Haskell games have been published.

Arch Haskell News: May 10 2009

Another update, since there was a bit of a package backlog.

Hackage now has 1265 (+14) Haskell packages, of which 1109 (+14) (87.7%) have been natively packaged for Arch in AUR.  All these packages are available via AUR, using the “yaourt” tool.

Here’s today’s updates, broken down by category, so you can get a sense for what’s new in your area of interest:

Concurrency

• haskell-threadmanager-0.1.1: Simple thread management

Control

• haskell-mtlx-0.1.1: Monad transformer library with type indexes,\nproviding ‘free’ copies.
• haskell-level-monad-0.3.1: Non-Determinism Monad for Level-Wise Search
• haskell-tree-monad-0.2.1: Non-Determinism Monad for Tree Search
• haskell-monadiccp-0.5.2: Constraint Programming
• haskell-monad-ran-0.1.0: Fast monads and monad transformers
• haskell-buster-1.2: Almost but not quite entirely unlike FRP

Cryptography

• haskell-hopenssl-1.2: FFI bindings to OpenSSL’s EVP digest interface

Data

• haskell-gpcsets-0.9.0.0: Generalized Pitch Class Sets for Haskell.
• haskell-hmpfr-0.2: Haskell binding to MPFR library
• haskell-hinze-streams-1.0: Streams and Unique Fixed Points

Database

• haskell-tokyocabinet-haskell-0.0.5: Haskell binding of Tokyo Cabinet

Devel

• haskell-visual-graphrewrite-0.3.2: Visualize the graph-rewrite steps of a Haskell program
• cabal2arch-0.5.2: Create Arch Linux packages from Cabal packages

Graphics

• haskell-hgl-3.2.0.0: A simple graphics library based on X11 or Win32
• haskell-opengl-2.2.1.1: A binding for the OpenGL graphics system
• haskell-glut-2.1.1.2: A binding for the OpenGL Utility Toolkit

Gui

• haskell-sybwidget-0.5.2: Library which aids constructing generic (SYB3-based) widgets

Language

• haskell-data-reify-0.3: Reify a recursive data structure into an explicit graph.
• hscolour-1.13: Colourise Haskell code.
• haskell-atom-0.0.3: A DSL for embedded hard realtime applications.

Math

• haskell-lazysplines-0.1: Differential solving with lazy splines
• haskell-vector-space-0.5.7: Vector & affine spaces, linear maps, and derivatives (requires ghc 6.9 or better)
• haskell-operads-0.7: Groebner basis computation for Operads.

Network

• haskell-network-bytestring-0.1.2.1: Fast, memory-efficient, low-level networking
• haskell-http-wget-0.0.0: Provide a simple HTTP client interface by wrapping the wget\ncommand line tool.
• haskell-network-2.2.1.1: Networking-related facilities

Text

• haskell-regex-tdfa-1.1.2: Replaces/Enhances Text.Regex

Web

• haskell-authenticate-0.0.0: Authentication methods for Haskell web applications.
• haskell-clientsession-0.0.0: Store session data in a cookie.
• haskell-urlencoded-0.1.0.1: Generate or process x-www-urlencoded data
• haskell-windowslive-0.1.1.1: Implements Windows Live Web Authentication and\nDelegated Authentication

Unclassified

• subtitles-0.0.1: Modify SRT subtitle files.
• haskell-elerea-0.6.0: A minimalistic FRP library
• haskell-hpc-strobe-0.1: Hpc-generated strobes for a running Haskell program

Arch Haskell News: May 3 2009

Another update, since there was a bit of a package backlog.

Hackage now has 1251 (+1) Haskell packages, of which 1095 (+43) (87.5%) have been natively packaged for Arch in AUR.  All these packages are available via AUR, using the “yaourt” tool.

Here’s today’s updates, broken down by category, so you can get a sense for what’s new in your area of interest:

Algorithm

• haskell-rungekutta-1.0.2: A collection of explicit Runge-Kutta methods of various orders
• haskell-hsgsom-0.1.0: An implementation of the GSOM clustering algorithm.
• satchmo-examples-1.4.1: examples that show how to use satchmo
• haskell-satchmo-funsat-1.4: funsat driver as backend for satchmo
• haskell-satchmo-backends-1.4: driver for external satchmo backends
• haskell-satchmo-1.4: SAT encoding monad
• haskell-primes-0.1.1: Efficient, purely functional generation of prime numbers
• haskell-numerals-0.1: Utilities for working with numerals

Codec

• haskell-logic-tptp-0.2.0: Import, export etc. for TPTP, a syntax for first-order logic

Concurrency

• haskell-priority-sync-0.1.0.1: Cooperative task prioritization.
• haskell-synchronous-channels-0.1: Synchronous communication channels
• haskell-stm-io-hooks-0.2.1: An STM monad with IO hooks

Control

• haskell-action-permutations-0.0.0.0: Execute a set of actions (e.g. parsers) in each possible order
• haskell-buster-network-1.1: Almost but not quite entirely unlike FRP
• haskell-buster-gtk-1.0: Almost but not quite entirely unlike FRP
• haskell-buster-1.1: Almost but not quite entirely unlike FRP
• haskell-simple-sessions-0.1.1: A simple implementation of session types
• haskell-monadiccp-0.5.1: Constraint Programming
• haskell-control-monad-exception-0.1.2: Explicitly typed exceptions
• haskell-control-monad-free-0.4: Free monads and monad transformers
• haskell-strict-concurrency-0.2.1: Strict concurrency abstractions
• haskell-elerea-0.5.0: A minimalistic FRP library
• elerea-examples-0.3.0: Example applications for Elerea

Cryptography

• haskell-crc16-0.1.0: Calculate the crc16-ccitt.

Data

• haskell-mlist-0.0.2: Monadic List alternative to lazy I/O
• haskell-pointedlist-0.3.3: A zipper-like comonad which works as a list, tracking a position.
• haskell-applicative-numbers-0.0.8: Applicative-based numeric instances
• haskell-utility-ht-0.0.5: Various small helper functions for Lists, Maybes, Tuples, Functions
• haskell-list-tries-0.0: Tries and Patricia tries: finite sets and maps for list keys
• haskell-monoid-record-0.1: Support for modifying record fields of monoidal type
• haskell-queuelike-1.0.9: A library of queuelike data structures, both functional and stateful.

Database

• haskell-takusen-0.8.4: Database library with left-fold interface, for PostgreSQL, Oracle, SQLite, ODBC.
• haskell-tokyocabinet-haskell-0.0.4: Haskell binding of Tokyo Cabinet

Devel

• haskell-mps-2009.4.50: message passing style helpers
• haskell-ghc-syb-0.1.2: SYB instances for the GHC API
• pkggraph-0.1: Package dependency graph for installed packages
• happy-1.18.4: Happy is a parser generator for Haskell
• haskell-vacuum-cairo-0.4.1: Visualize live Haskell data structures using vacuum, graphviz and cairo
• cheatsheet-1.10: A Haskell cheat sheet in PDF and literate formats.
• haskell-vacuum-0.0.93: Extract graph representations of ghc heap values.
• haskell-hskeleton-0.1: Skeleton for new Haskell programs
• greencard-3.0.3: GreenCard, a foreign function pre-processor for Haskell.

Games

• mazesofmonad-1.0.2: Console-based Role Playing Game
• hpong-0.1.2: A simple OpenGL Pong game based on GLFW

Graphics

• haskell-glut-2.1.2.1: A binding for the OpenGL Utility Toolkit
• haskell-graphviz-2009.5.1: GraphViz wrapper for Haskell.
• haskell-hieroglyph-2.10: Purely functional 2D drawing
• haskell-opengl-2.2.2.0: A binding for the OpenGL graphics system
• haskell-ogl-0.0.2: A context aware binding for the OpenGL graphics system
• haskell-chalkboard-viewer-0.1: OpenGL based viewer for chalkboard rendered images.
• haskell-chalkboard-0.2: Combinators for building and processing 2D images.
• haskell-vect-0.4.5: A low-dimensional linear algebra library, tailored to computer graphics.

Language

• haskell-data-reify-0.2: Reify a recursive data structure into an explicit graph.
• haskell-jsmw-0.1: Javascript Monadic Writer base package.
• haskell-preprocessor-tools-0.1.1: A framework for extending Haskell’s syntax via quick-and-dirty preprocessors

Math

• haskell-combinat-0.2.1: Generation of various combinatorial objects.
• haskell-numeric-prelude-0.1: An experimental alternative hierarchy of numeric type classes
• haskell-non-negative-0.0.4: Non-negative numbers
• haskell-hmatrix-0.5.1.1: Linear algebra and numerical computations

Network

• haskell-haxr-3000.2.1: XML-RPC client and server library.
• haskell-http-4000.0.6: A library for client-side HTTP
• haskell-curl-1.3.5: Haskell binding to libcurl

Sound

• haskell-openal-1.3.1.3: A binding to the OpenAL cross-platform 3D audio API
• haskell-alut-2.1.0.2: A binding for the OpenAL Utility Toolkit
• haskell-alsa-0.2: Binding to the ALSA Library API.
• haskell-sox-0.0.1: Play, write, read, convert audio signals using Sox

System

• haskell-executable-path-0.0: Finding out the full path of the executable.
• tabloid-0.47: View the output of shell commands in a table
• haskell-missingpy-0.10.2: Haskell interface to Python

Testing

• haskell-complexity-0.1.2: Empirical algorithmic complexity

Text

• haskell-uu-parsinglib-2.0.0: New version of the Utrecht University parser combinator library

Web

• haskell-hack-contrib-2009.4.52.2: Hack contrib
• haskell-kibro-0.4.3: Web development framework.
• haskell-hack-handler-happstack-2009.4.52: Hack Happstack server handler
• haskell-hack-2009.4.52: a sexy Haskell Webserver Interface
• haskell-dom-2.0.1: DOM Level 2 bindings for the WebBits package.
• haskell-finance-quote-yahoo-0.7.0: Obtain quote data from finance.yahoo.com
• haskell-happstack-fastcgi-0.1.4: Happstack extension for use with FastCGI.
• haskell-urlencoded-0.1: Generate or process x-www-urlencoded data

Arch Haskell News: May 2 2009

Hackage now has 1250 (+87) Haskell packages, of which 1052 (+45) have been natively packaged for Arch in AUR.  All these packages are available via AUR, using the “yaourt” tool.

Here’s this week’s updates, broken down by category, so you can get a sense for what’s new in your area of interest:

Uncategorized

• haskell-numbers-0.2.1: An assortment of number theoretic functions
• haskell-parallel-1.1.0.1: parallel programming library
• haskell-uulib-0.9.10: Haskell Utrecht Tools Library
• pointfree-1.0.3: Pointfree refactoring tool
• husky-0.4: A simple command line calculator.
• haskell-traced-2009.4.3: Simple evaluation trace
• haskell-hledger-0.4: A ledger-compatible text-based accounting tool.
• haskell-list-extras-0.3.0: Common not-so-common functions for lists
• haskell-presburger-0.3: Cooper’s decision procedure for Presburger arithmetic.
• satchmo-examples-1.3: examples that show how to use satchmo
• haskell-satchmo-funsat-1.3: funsat driver as backend for satchmo
• haskell-satchmo-minisat-1.3: minisat driver as backend for satchmo
• haskell-satchmo-1.3: SAT encoding monad
• haskell-extra-1.30: A grab bag of modules

Concurrency

• haskell-join-0.4: Parallel Join Patterns with Guards and Propagation
• haskell-multisetrewrite-0.5: Multi-set rewrite rules with guards and a parallel execution scheme

Control

• haskell-level-monad-0.3: Non-Determinism Monad for Level-Wise Search
• haskell-parallel-tree-search-0.4.1: Parallel Tree Search
• haskell-tree-monad-0.2: Non-Determinism Monad for Tree Search
• haskell-hpc-0.5.0.3: Code Coverage Library for Haskell
• haskell-logict-0.3: A backtracking logic-programming monad.

Cryptography

• haskell-sha-1.2.0.2: Implementations of the SHA suite of message digest functions
• haskell-hsopenssl-0.6: (Incomplete) OpenSSL binding for Haskell

Data

• haskell-idna-0.1.1: Implements IDNA (RFC 3490).
• haskell-tuple-0.2.0.1: Various functions on tuples
• haskell-type-0.1.0: Dynamic casting library with support for arbitrary rank type kinds.
• haskell-ieee754-parser-0.1:
• haskell-data-accessor-monads-tf-0.2.1: Use Accessor to access state in monads-tf State monad type family
• haskell-filestore-0.3: Interface for versioning file stores.
• haskell-polytypeable-0.1.0.0: Typeable for polymorphic types.
• haskell-stringprep-0.1.2: Implements the \”StringPrep\” algorithm
• haskell-ranges-0.2.2: Ranges and various functions on them.
• haskell-data-accessor-transformers-0.2.1: Use Accessor to access state in transformers State monad
• haskell-data-hash-0.1.0.0: Combinators for building fast hashing functions.
• haskell-adaptive-containers-0.2.1: Self optimizing container types
• haskell-vec-0.9.6: Fixed-length lists and low-dimensional linear algebra.
• haskell-reflection-0.1.1: Functional Pearl: Implicit Configurations
• haskell-applicative-numbers-0.0.5: Applicative-based numeric instances
• haskell-xcb-types-0.5.1.1: Parses XML files used by the XCB project

Database

• haskell-haskelldb-th-1.2: Template Haskell utilities for HaskellDB.
• haskell-tokyocabinet-haskell-0.0.2: Haskell binding of Tokyo Cabinet

Devel

• uuagc-0.9.10: Attribute Grammar System of Universiteit Utrecht
• haskell-ghc-syb-0.1.1.1: SYB instances for the GHC API
• leksah-0.4.4.1: Haskell IDE written in Haskell
• addlicenseinfo-0.0: Adds license info to the top of a file.
• hcheatsheet-1.8: A Haskell cheat sheet in PDF and literate formats.

Distribubted Programming

• haskell-holumbus-distribution-0.0.1.1: intra- and inter-program communication

Games

• fallingblocks-0.1.3: A fun falling blocks game.

Graphics

• haskell-svgfonts-0.2:
• haskell-ftgl-1.333: Portable TrueType font rendering for OpenGL using the Freetype2 library
• haskell-imlib-0.1.2:
• haskell-scenegraph-0.1.0.1: Scene Graph
• haskell-flow2dot-0.6.1: Library and binary to generate sequence/flow diagrams from plain text source

Language

• haskell-jscontracts-0.4: Design-by-contract for JavaScript
• haskell-webbits-0.15: JavaScript analysis tools
• haskell-haskell-src-meta-0.0.3.1: Parse source to template-haskell abstract syntax.
• haskell-core-0.5: External core parser and pretty printer.
• haskell-cmonad-0.1.1.1: A library for C-like programming
• agda-2.2.2: Command-line program for type-checking and compiling Agda programs

Math

• haskell-vector-space-0.5.6: Vector & affine spaces, linear maps, and derivatives (requires ghc 6.9 or better)
• haskell-fad-1.0: Forward Automatic Differentiation.

Music

• haskell-haskore-vintage-0.1: The February 2000 version of Haskore.

Network

• haskell-netsnmp-0.1.0: Bindings for net-snmp’s C API for clients
• haskell-hspread-0.3.2: A client library for the spread toolkit
• haskell-yogurt-0.4: A MUD client library
• haskell-tcp-0.0.2: A purely functional TCP implementation
• haskell-network-bytestring-0.1.2: Fast, memory-efficient, low-level networking
• haskell-network-2.2.1: Networking-related facilities
• haskell-scgi-0.3.1: A Haskell library for writing SCGI programs.
• haskell-salvia-0.1.2: Lightweight Haskell Web Server Framework
• haskell-http-4000.0.5: A library for client-side HTTP
• haskell-hackmail-0.0.1: A Procmail Replacement as Haskell EDSL

Sound

• haskell-hommage-0.0.5: Haskell Offline Music Manipulation And Generation EDSL

System

• haskell-time-1.1.2.4: A time library
• haskell-debian-3.33: Modules for working with the Debian package system
• xmobar-0.9.2: A Minimalistic Text Based Status Bar
• haskell-old-time-1.0.0.2: Time library
• haskell-filepath-1.1.0.2: Library for manipulating FilePath’s in a cross platform way.
• haskell-directory-1.0.0.3: library for directory handling
• haskell-io-capture-0.3: capture IO action’s stdout and stderr
• haskell-byteorder-1.0.1: native byte-ordering of the system
• haskell-hslogger-template-0.2.1: Automatic generation of hslogger functions

Testing

• haskell-quickcheck-2.1.0.1: Automatic testing of Haskell programs

Text

• haskell-pretty-ncols-0.1: A implementation of multi-column layout w/ Text.PrettyPrint
• haskell-email-validate-0.2.3: Validating an email address string against RFC 5322
• haskell-hgettext-0.1.10: Bindings to libintl.h (gettext, bindtextdomain)

Web

• smartword-0.0.0.5: Web based flash card for Word Smart I and II vocabularies

Xml

• haskell-hexpat-0.6: wrapper for expat, the fast XML parser
• haskell-tagchup-0.3.1: alternative package for processing of tag soups
• haskell-xml-basic-0.1: Basics for XML/HTML representation and processing

Arch Haskell News: Mar 14 2009: 1000 Haskell Packages

We’ve reached a milestone: more than 1000 Haskell packages packaged up for Arch Linux.

Hackage now has 1163 (+41) Haskell packages, of which 1007 (+33) have been natively packaged for Arch in AUR. That’s 33 new packages in two weeks, and lots of updates as well.

Here’s this week’s updates, broken down by category, so you can get a sense for what’s new in your area of interest:

Algorithm

• haskell-presburger-0.2: Cooper’s decision procedure for Presburger arithmetic.
• haskell-pure-fft-0.2.0: Fast Fourier Transform
• haskell-kmeans-0.1.1: K-means clustering algorithm

Concurrency

• haskell-caf-0.0.3: A library of Concurrency Abstractions using Futures.
• haskell-cml-0.1.1: Events and Channels as in Concurrent ML
• haskell-stm-io-hooks-0.2.0: An STM monad with IO hooks

Control

• haskell-stream-monad-0.2: Simple, Fair and Terminating Backtracking Monad
• haskell-monads-tf-0.0.0.1: Monad classes, using type families
• haskell-monads-fd-0.0.0.1: Monad classes, using functional dependencies
• haskell-transformers-0.1.4.0: Concrete monad transformers
• haskell-parallel-tree-search-0.2.1: Parallel Tree Search
• haskell-tree-monad-0.1: Non-Determinism Monad for Tree Search
• haskell-rmonad-0.4.1: Restricted monad library
• haskell-explicit-sharing-0.2: Explicit Sharing of Monadic Effects
• haskell-applicative-extras-0.1.4: Instances for Applicative

Cryptography

• haskell-digest-0.0.0.5: Various cryptographic hashes for bytestrings; CRC32 and Adler32 for now.

Data

• haskell-data-accessor-template-0.2.1.1: Utilities for accessing and manipulating fields of records
• haskell-fair-predicates-0.1.1: Fair Predicates
• haskell-heap-0.6.0: Heaps in Haskell
• haskell-tuple-0.1.0.1: Various functions on tuples
• haskell-game-tree-0.1.0.0: Searching game trees with alpha-beta pruning
• haskell-nonempty-0.1: Library providing a non-empty list datatype, and total functions operating on it
• haskell-string-combinators-0.2: Polymorphic functions to build and combine stringlike values
• haskell-sg-1.0: Small geometry library for dealing with vectors and collision detection
• haskell-applicative-numbers-0.0.3: Applicative-based numeric instances
• haskell-onetuple-0.2.1: Singleton Tuple
• haskell-ghood-0.0.3: A graphical viewer for Hood
• haskell-queuelike-1.0.5: A library of queuelike data structures, both functional and stateful.
• haskell-treestructures-0.0.1: Tree structures

Database

• haskell-haskell-tyrant-0.2: Haskell implementation of the Tokyo Tyrant binary protocol

Devel

• haddock-2.4.2: A documentation-generation tool for Haskell libraries
• leksah-0.4.3: Haskell IDE written in Haskell
• lscabal-0.1: List exported modules from a set of .cabal files
• cabalgraph-0.1: Generate pretty graphs of module trees from cabal files
• cheatsheet-1.7: A Haskell cheat sheet in PDF and literate formats.
• modsplit-0.1.1: Haskell source splitter driven by special comments.

Graphics

• haskell-chart-0.10.3: A library for generating 2D Charts and Plots
• haskell-hieroglyph-1.21: Purely functional 2D drawing
• sgdemo-1.0: An example of using the SG and OpenGL libraries

Language

• haskell-core-0.2: External core parser and pretty printer.
• haskell-language-python-0.1.1: Parsing and pretty printing of Python code.

Network

• haskell-salvia-0.1.1: Lightweight Haskell Web Server Framework
• haskell-memcached-0.1.1: haskell bindings for memcached
• hpodder-1.1.5: Podcast Aggregator (downloader)

System

• haskell-io-capture-0.2: capture IO action’s stdout and stderr
• haskell-random-shuffle-0.0.2: Random shuffle implementation.
• haskell-safe-lazy-io-0.1: A library providing safe lazy IO features.
• haskell-strict-io-0.1: A library wrapping standard IO modules to provide strict IO.
• haskell-plugins-1.4.1: Dynamic linking for Haskell and C objects
• haskell-dzen-utils-0.1: Utilities for creating inputs for dzen.
• threadpool-0.2: Runs other programs in the manner of a thread pool
• haskell-hslogger-template-0.1: Automatic generation of hslogger functions
• hranker-0.1.1: Basic utility for ranking a list of items
• haskell-missingh-1.1.0: Large utility library

Testing

• doctest-0.0.5: Test interactive Haskell examples

Text

• haskell-bytestring-show-0.3.2: Efficient conversion of values into readable byte strings.
• haskell-regex-tdfa-utf8-1.0: This combines regex-tdfa with utf8-string to allow searching over UTF8 encoded lazy bytestrings.
• haskell-regex-tdfa-1.1.1: Replaces/Enhances Text.Regex
• haskell-highlighting-kate-0.2.4: Syntax highlighting
• haskell-liboleg-0.1.1: A collection of Oleg Kiselyov’s Haskell modules (2009-2008)

Web

• haskell-shpider-0.0.5: Web automation library in Haskell.
• haskell-url-2: A library for working with URLs.
• happs-tutorial-0.8.1: A Happstack Tutorial that is its own web 2.0-type demo.
• hask-home-2009.3.18: Generate homepages for cabal packages
• haskell-happstack-helpers-0.22: Convenience functions for Happstack.

Xml

• haskell-tagsoup-parsec-0.0.5: Tokenizes Tag, so [ Tag ] can be used as parser input.
• haskell-hxt-filter-8.3.0: A collection of tools for processing XML with Haskell (Filter variant).
• haskell-hxt-8.3.0: A collection of tools for processing XML with Haskell.
• haskell-hexpat-pickle-0.3: XML picklers based on hexpat, source-code-similar to those of the HXT package
• haskell-hexpat-0.5: wrapper for expat, the fast XML parser

The Arch Haskell Team maintains the Haskell toolchain on Arch Linux. You can join us in #arch-haskell on freenode.org, or on the mailing list.

Arch Haskell News: Mar 14 2009

A regular update of Haskell in Arch Linux

Hackage now has 1122 Haskell packages, of which 974 have been natively packaged for Arch in AUR. That’s 12 new packages this week, and lots of updates as well.

Notable releases this week

• vintage-basic-1.0.1: Interpreter for microcomputer-era BASIC
• yi-0.6.0: The Haskell-Scriptable Editor
• haskell-core-0.1: External core parser and pretty printer.
• haskell-utf8-env-0.1: UTF-8 aware substitutes for functions in System.Environment
• haskell-hexpat-0.4: wrapper for expat, the fast XML parser
• haskell-xml-1.3.4: A simple XML library.
• haskell-polyparse-1.3: A variety of alternative parser combinator libraries.
• haskell-torch-0.1: Simple unit test library (or framework)

Here they all are, broken down by category, so you can get a sense for what’s new in your area of interest:

Codec

• haskell-sexpr-0.1.2: S-expression printer and parser

Compilers

• vintage-basic-1.0.1: Interpreter for microcomputer-era BASIC

Concurrency

• haskell-chp-1.2.0: An implementation of concurrency ideas from Communicating Sequential Processes
• haskell-future-2.0.0: Supposed to mimics and enhance proposed C++ \”future\” features
• haskell-semaphore-plus-0.1: Various concurrency abstractions built on top of semaphores

Control

• haskell-stateful-mtl-1.0.7: Typeclass instances for monad transformer stacks with an ST thread at the bottom.
• haskell-streamproc-1.2: Stream Processer Arrow
• haskell-mtlx-0.1: Monad transformer library with type indexes,\nproviding ‘free’ copies.
• haskell-control-engine-0.0.3: A parallel producer/consumer engine (thread pool)
• haskell-monadlib-3.5.2: A collection of monad transformers.
• haskell-monadiccp-0.4: Package for Constraint Programming

Cryptography

• haskell-hopenssl-1.1: FFI bindings to OpenSSL’s EVP digest interface

Data

• haskell-data-accessor-template-0.2.1: Utilities for accessing and manipulating fields of records
• haskell-ranges-0.1:
• haskell-algebra-0.0.0.1: Algebraic structures
• haskell-fraction-0.0.1.0: Fractions
• haskell-queuelike-1.0.0: A library of queuelike data structures, both functional and stateful.

Devel

• yi-0.6.0: The Haskell-Scriptable Editor
• haskell-sparsebit-0.5: Sparse bitmaps for pattern match coverage
• ghc-core-0.4.3: Display GHC’s core and assembly output in a pager
• cheatsheet-1.6: A Haskell cheat sheet in PDF and literate formats.

Graphics

• haskell-ftgl-1.2: Portable TrueType font rendering for OpenGL using the Freetype2 library

Gui

• haskell-terminfo-0.3.0.2: Haskell bindings to the terminfo library.
• haskell-vty-3.1.8.4: A simple terminal access library

Language

• haskell-core-0.1: External core parser and pretty printer.

System

• make-hard-links-0.2: Change duplicated files into hard-links.
• haskell-utf8-env-0.1: UTF-8 aware substitutes for functions in System.Environment
• haskell-core-0.1: External core parser and pretty printer.
• husky-0.3: A simple command line calculator.

Testing

• haskell-torch-0.1: Simple unit test library (or framework)

Text

• haskell-regexpr-symbolic-0.4: Regular expressions via symbolic manipulation
• haskell-xml-1.3.4: A simple XML library.
• haskell-polyparse-1.3: A variety of alternative parser combinator libraries.

Web

• happs-tutorial-0.8: A Happstack Tutorial that is its own web 2.0-type demo.
• haskell-happstack-helpers-0.21: Convenience functions for Happstack.

Xml

• haskell-hexpat-pickle-0.2: XML picklers based on hexpat, source-code-similar to those of the HXT package
• haskell-hexpat-0.4: wrapper for expat, the fast XML parser

The Arch Haskell Team maintains the Haskell toolchain on Arch Linux. You can join us in #arch-haskell on freenode.org, or on the mailing list.

Arch Haskell News: Feb 16 2009

A regular update of Haskell in Arch Linux

Arch now has 926 Haskell packages in AUR.

That’s an increase of 27 new packages in the last 8 days, or 3.38 new Haskell apps a day. Well done everyone!

Noteworthy updates

• The functional reactive grapefruit gui library supported
  
• haskelldb suite now supported
• gtk2hs 0.10 now in [community]
  

Installing Packages from AUR

To install AUR packages, we recommend yaourt, as in:

yaourt --noconfirm  --lightbg --aur -S haskell-haha

You may want to alias that command line. Here’s an example from this week’s releases:

The reason to use yaourt over cabal-install is that AUR packages correctly resolve all versions and, more importantly, C library and other system dependencies. Packages will also be pulled from the binary releases in [extra] and [community] where available, saving you build times.

New and Updated Packages

We now present package info sorted by category — let us know if this helps!

Algorithm

• haskell-higherorder-0.0: Some higher order functions for Bool and []

Codec

• haskell-stb-image-0.1.3: A wrapper around Sean Barrett’s JPEG/PNG decoder

Compilers

• haskell-llvm-0.6.4.0: Bindings to the LLVM compiler toolkit

Control

• haskell-pqueue-mtl-1.0.2: Fully encapsulated monad transformers with queuelike functionality.
• haskell-stateful-mtl-1.0.2: Stateful monad transformers with pure evaluation semantics.
• haskell-monad-loops-0.3.0.1: Monadic loops
• haskell-event-monad-0.0.1.0: Event-graph simulation monad transformer

Cryptography

• haskell-sha-1.0.4: Implementations of the SHA suite of message digest functions

Data

• haskell-data-spacepart-20090215.0: Deprecated. Now called \”spacepart\”. Space partitioning data structures.
• haskell-spacepart-0.1.0.0: Space partition data structures. Currently only a QuadTree.
• haskell-filestore-0.2: Interface for versioning file stores.
• haskell-macho-0.2: Parser for Mach-O object format.
• haskell-grapefruit-records-0.0.0.0: A record system
• haskell-pointedlist-0.1: A zipper-like comonad which works as a list, tracking a position.
• haskell-stream-0.3: A library for manipulating infinite lists.
• haskell-clase-2009.2.11: Cursor Library for A Structured Editor
• haskell-dequeue-0.1.2: A typeclass and an implementation for double-ended queues.
• haskell-nthable-0.1:
• haskell-perfecthash-0.1.3: A perfect hashing library for mapping bytestrings to values.

Database

HSQL

• haskell-hsql-postgresql-1.7.3: A Haskell Interface to PostgreSQL via the PQ library

HDBC

• haskell-hdbc-mysql-0.2: MySQL driver for HDBC

HaskellDB

• haskell-haskelldb-hdbc-sqlite3-0.12: HaskellDB support for the HDBC SQLite driver.
• haskell-haskelldb-hdbc-postgresql-0.12: HaskellDB support for the HDBC PostgreSQL driver.
• haskell-haskelldb-hdbc-odbc-0.12: HaskellDB support for the HDBC ODBC driver.
• haskell-haskelldb-hdbc-0.12: HaskellDB support for HDBC. You will also need one\nor more back-end specific packages.
• haskell-haskelldb-0.12: SQL unwrapper for Haskell.

Devel

• darcs-2.2.1: a distributed, interactive, smart revision control system
• djinn-2009.2.8: Generate Haskell code from a type

Graphics

• haskell-vect-0.4.0: A low-dimensional linear algebra library, tailored to computer graphics.
• haskell-sdl-mixer-0.5.5: Binding to libSDL_mixer

Gui

• haskell-haskeline-0.6.1.2: A command-line interface for user input, written in Haskell.
• haskell-grapefruit-examples-0.0.0.0: Examples using the Grapefruit library
• haskell-grapefruit-ui-gtk-0.0.0.0: GTK+-based backend for declarative user interface programming
• haskell-grapefruit-ui-0.0.0.0: Declarative user interface programming
• haskell-grapefruit-frp-0.0.0.0: Functional Reactive Programming core

Language

• haskell-basic-0.1.5.0: Embedded BASIC

Math

• haskell-probability-0.2.2: Probabilistic Functional Programming
• haskell-random-fu-0.0.0.2: Random number generation

Network

• haskell-yogurt-0.3: A MUD client library
• haskell-simplesmtpclient-0.2: Very simple SMTP Client

System

• haskell-zoneinfo-0.2: ZoneInfo library.

Text

• haskell-regex-tdfa-0.97.3: Accurate POSIX extended regular expression library
• haskell-hyphenate-0.1: Text hyphenation algorithm
• haskell-encode-1.2: Encoding character data
• haskell-sexpr-0.1.1: S-expression printer and parser

Web

• haskell-hsp-0.4.5: Haskell Server Pages is a library for writing dynamic server-side web pages.

The Arch Haskell Team maintains the Haskell toolchain on Arch Linux. You can join us in #arch-haskell on freenode.org, or on the mailing list.

Arch Haskell News: Jan 24 2009

A regular update of Haskell in Arch Linux

Arch now has 864 Haskell packages in AUR.

That’s an increase of 37 new packages in the last 13 days, or 2.8 new Haskell apps and libraries a day so far in January. Well done everyone!.

The current 28 day moving average of releases:

Noteworthy updates

• haskell-regex-xmlschema-0.1.1: “A regular expression library for W3C XML Schema regular expressions”
• haskell-webbits-0.11.0: “JavaScript analysis tools”
• haskell-utf8-string-0.3.4: “Support for reading and writing UTF8 Strings”
• haskell-hdbc-mysql-0.1: “MySQL driver for HDBC”
• haskell-stm-io-hooks-0.0.1: “An STM monad with IO hooks”
• haskell-llvm-0.6.0.2: “Bindings to the LLVM compiler toolkit”
• threadpool-0.1: “Runs other programs in the manner of a thread pool”
• haskell-progressbar-0.0.1: “Progressbar API”
• haskell-workflow-0.3: “library for transparent execution of computations across shutdowns and restarts”

New and updated packages

• haskell-parrows-0.1.1: “Arrow parser combinators similar to Parsec”
• haskell-regex-xmlschema-0.1.1: “A regular expression library for W3C XML Schema regular expressions”
• haskell-debian-3.17.1: “Modules for working with the Debian package system”
• haskell-cflp-2009.1.24: “Constraint Functional-Logic Programming in Haskell”
• haskell-memotrie-0.4.3: “Trie-based memo functions”
• haskell-webbits-0.11.0: “JavaScript analysis tools”
• haskell-pointedlist-0.0.2: “A zipper-like comonad which works as a list, tracking a position.”
• haskell-predicates-0.1: “A couple of convenience functions for forming predicates.”
• haskell-utf8-string-0.3.4: “Support for reading and writing UTF8 Strings”
• haskell-extra-1.29: “A grab bag of modules.”
• haskell-unixutils-1.22: “A crude interface between Haskell and Unix-like operating systems”
• haskell-memotrie-0.4.2: “Trie-based memo functions”
• haskell-hdbc-mysql-0.1: “MySQL driver for HDBC”
• haskell-stm-io-hooks-0.0.1: “An STM monad with IO hooks”
• haskell-event-list-0.0.9: “Event lists with relative or absolute time stamps”
• haskell-utility-ht-0.0.3: “Various small helper functions for Lists, Maybes, Tuples, Functions”
• haskell-haskell-src-meta-0.0.3.1: “Parse source to template-haskell abstract syntax.”
• haskell-pointedlist-0.0.1: “A zipper-like comonad which works as a list, tracking a position.”
• haskell-llvm-0.6.0.2: “Bindings to the LLVM compiler toolkit”
• threadpool-0.1: “Runs other programs in the manner of a thread pool”
• haskell-progressbar-0.0.1: “Progressbar API”
• haskell-typecompose-0.6.4: “Type composition classes & instances”
• haskell-timeit-0.9.0.0: “Time a computation”
• haskell-lub-0.0.5: “least upper bounds — information merging”
• haskell-unamb-0.1.9: “Unambiguous choice”
• piet-0.1: “A Piet interpreter”
• haskell-erf-1.0.0.0: “The error function, erf, and friends”
• beautifhol-0.10: “A pretty-printer for higher-order logic”
• nehe-tuts-0.1.1: “Port of the NeHe OpenGL tutorials to Haskell.”
• haskell-monoid-transformer-0.0.1: “Monoid counterparts to some ubiquitous monad transformers”
• haskell-hsdns-1.4: “Asynchronous DNS Resolver”
• haskell-unamb-0.1.6: “Unambiguous choice”
• haskell-permutation-0.4: “A library for permutations and combinations.”
• haskell-workflow-0.3: “library for transparent execution of computations across shutdowns and restarts”
• haskell-whim-0.1.1: “A Haskell window manager”
• haskell-rangemin-1.1.2: “Linear range-min algorithms.”
• haskell-chp-1.1.1: “An implementation of concurrency ideas from Communicating Sequential Processes”
• haskell-halex-1.1.1: “HaLeX enables modelling, manipulation and animation of regular languages”
• haskell-json-0.4.3: “Support for serialising Haskell to and from JSON”
• haskell-lambdabot-utils-4.2: “Utility libraries for the advanced IRC bot, Lambdabot”
• baskell-0.1.1: “An interpreter for a small functional language”
• haskell-ycextra-0.1: “Additional utilities to work with Yhc Core.”
• haskell-yhccore-0.9.1: “Yhc’s Internal Core language.”
• haskell-arrayref-0.1.3: “Unboxed references, dynamic arrays and more”
• greencard-3.0.1.1: “A foreign function interface pre-processor for Haskell”
• haskell-hsmagick-0.3: “FFI bindings for the GraphicsMagick library”
• haskell-colour-2.2.0: “A model for human colour/color perception”
• haskell-regex-dfa-0.91: “Replaces/Enhances Text.Regex”
• haskell-rangemin-1.1.1: “Linear range-min algorithms.”
• haskell-digest-0.0.0.2: “Various cryptographic hashes for bytestrings; CRC32 and Adler32 for now.”
• haskell-time-1.1.2.3: “A time library”
• haskell-language-sh-0.0.3.1: “A package for parsing shell scripts”
• haskell-leapseconds-announced-2009: “Leap seconds announced at library release time.”
• haskell-show-0.3.1: “‘Show’ instances for Lambdabot”
• haskell-dataenc-0.12: “Data encoding library”
• haskell-cflp-2009.1.16: “Constraint Functional-Logic Programming in Haskell”
• haskell-pecoff-0.1: “Parser for PE/COFF format.”
• haskell-attoparsec-0.7.2: “Fast combinator parsing with Data.ByteString.Lazy”
• darcs-2.2.0: “a distributed, interactive, smart revision control system”
• haskell-cflp-2009.1.15.2: “Constraint Functional-Logic Programming in Haskell”
• haskell-monad-interleave-0.1: “Monads with an unsaveInterleaveIO-like operation.”
• cabal2arch-0.4.3: “Create Arch Linux packages from Cabal packages”
• haskell-blas-0.7.6: “Bindings to the BLAS library”
• haskell-hsopenssl-0.5: “(Part of) OpenSSL binding for Haskell”
• haskell-scgi-0.3: “A Haskell library for writing SCGI programs.”
• haskell-split-0.1.1: “Combinator library for splitting lists.”
• haskell-presburger-0.1: “Cooper’s decision procedure for Presburger arithmetic.”
• haskell-gsl-random-0.3.1: “Bindings the the GSL random number generation facilities.”
• haskell-gsl-random-0.3: “Bindings the the GSL random number generation facilities.”
• haskell-cflp-2009.1.13: “Constraint Functional-Logic Programming in Haskell”
• haskell-zipper-0.1: “Generic zipper for systems of recursive datatypes”
• haskell-multirec-0.2: “Generic programming with systems of recursive datatypes”
• haskell-dwarf-0.1: “Parser for DWARF debug format.”
• haskell-monadlib-3.4.6: “A collection of monad transformers.”
• ghci-haskeline-0.1: “An implementation of ghci using the Haskeline line-input library.”
• haskell-sha-1.0.3: “Implementations of the SHA suite of message digest functions”
• haskell-luhn-0.1: “An implementation of Luhn’s check digit algorithm.”
• haskell-shellac-haskeline-0.2: “Haskeline backend module for Shellac”
• haskell-hsql-1.7.1: “Simple library for database access from Haskell.”
• haskell-iconv-0.4.0.2: “String encoding conversion”
• haskell-hetero-map-0.21: “Pure heterogeneous maps.”
• haskell-haskeline-0.6.0.1: “A command-line interface for user input, written in Haskell.”
• haskell-bytestring-trie-0.1.4: “An efficient finite map from (byte)strings to values.”

The Arch Haskell Team maintains the Haskell toolchain on Arch Linux. You can join us in #arch-haskell on freenode.org, or on the mailing list.