id +package

package ideas
package
ideas provides feedback services to intelligent tutoring systems such as the digital mathematical environment of the Freudenthal Institute, MathDox, and Activemath. Version 1.1
package ideas-math
package
Interactive domain reasoner for logic and mathematics, based on the feedback services of the Ideas framework. Domains supported include propositional logic (disjunctive normal form and equivalence proofs), mathematics (fractions, polynomial equations, powers, derivatives), linear algebra (Gaussian elimination and linear systems), and relation algebra. The domain reasoner is used by learning environments such as the digital mathematical environment of the Freudenthal Institute, MathDox, ActiveMath, and the GenExas logic tool. Version 1.0
package idiii
package
ID3v2 (tagging standard for MP3 files) library Version 0.1.3.3
package idna
package
Implements IDNA - Internationalized Domain Names in Applications (RFC 3490). Version 0.2
package idna2008
package
Library to convert internationalized domain names between the ASCII (ACE) and Unicode encodings in accordance with IDNA2008 (RFC 5991: Internationalized Domain Names in Applications (IDNA): Protocol). Unlike IDNA2003, IDNA2008 is not based on RFC 3454: Preparation of Internationalized Strings ("stringprep"). Version 0.0.1.0
package idris
package
Idris is a general purpose language with full dependent types. It is compiled, with eager evaluation. Dependent types allow types to be predicated on values, meaning that some aspects of a program's behaviour can be specified precisely in the type. The language is closely related to Epigram and Agda. There is a tutorial at http://www.idris-lang.org/documentation. Features include: * Full dependent types with dependent pattern matching * where clauses, with rule, simple case expressions, pattern matching let and lambda bindings * Type classes, monad comprehensions * do notation, idiom brackets, syntactic conveniences for lists, tuples, dependent pairs * Totality checking * Coinductive types * Indentation significant syntax, extensible syntax * Tactic based theorem proving (influenced by Coq) * Cumulative universes * Simple foreign function interface (to C) * Hugs style interactive environment Version 0.9.10.1
package IDynamic
package
A variant of Data.Dynamic that can be indexed, stored, transmitted trough communications etc. Version 0.1
package acid-state
package
Use regular Haskell data structures as your database and get stronger ACID guarantees than most RDBMS offer. Version 0.12.1
package acid-state-tls
package
Adds TLS support for connections to remote AcidState databases Version 0.9.1
package alsa-midi
package
Bindings for the ALSA sequencer API (MIDI stuff) There are now the packages alsa-pcm and alsa-seq that aim at a more complete interface to ALSA. Thus we will no longer maintain this package. See Sound.ALSA.Sequencer.Play for how to play Haskore songs in realtime via ALSA. Version 0.4.0.1
package AndroidViewHierarchyImporter
package
Tool to import a description of an Android view hierarchy through Abd and the Android view server. You can find more documentation in the Main file. Version 0.1.0.1
package bidirectionalization-combined
package
This is a prototype implementation of the idea presented in Combining Syntactic and Semantic Bidirectionalization by Janis Voigtlaender, Zhenjiang Hu, Kazutaka Matsuda and Meng Wang. This package builds two executables to experiment with the system, a command line program "b18-combined" and a CGI based web interface "b18n-combined-cgi". The latter is also available online at http://www.kb.ecei.tohoku.ac.jp/~kztk/b18n-combined/ Version 0.1.0.1
package bidispec
package
This is a generalisation of the idea behind the XML pickle/unpickle functions of HXT.  It allows to simulatanously specify functions for parsing and generating. Version 0.1.3
package bidispec-extras
package
Provides generic helper functions for defining bidirectionally executable specifications (a.k.a. parsers / generators).  The functions and types from this module extend the core functionality provided by the bidispec package.c Version 0.1
package bindings-linux-videodev2
package
Bindings for Video For Linux Two (v4l2), wrapping: file:///usr/include/linux/videodev2.h Upstream documentation at: http://linuxtv.org/downloads/v4l-dvb-apis/ Version 0.1
package cgi-undecidable
package
This package adds some useful type class instances to the cgi package. This is in a separate package to allow the cgi package to be compatible with Haskell implementations that don't support undecidable instances. Version 3000.0.0
package cpuid
package
This module provides the function cpuid for accessing information about the currently running IA-32 processor. Both a function for calling the cpuid instruction directly, and some convenience functions for common uses are provided. This package is only portable to IA-32 machines. Version 0.2.3
package cuboid
package
A simple 3D puzzle game made with Yampa and GLUT.  The objective of the game is to get the red sphere to the green sphere, by moving the red sphere. Use the W and D keys to rotate the cube, and the arrow keys (up/down/left/right), to move the red ball (front/back/left/right respectively).  The red sphere will then move until it hits an obstacle (green cube) and then stops. In order to add levels check out Game.hs. If you come up with a great level do send it to me. I plan to extract the levels into a configuration file in the future. Version 0.14.1
package dingo-widgets
package
This package contains a set of widgets for the Dingo Rich Internet Application platform. Version 0.2.0
package docidx
package
docidx is a small tool which creates an HTML index of your installed Haskell packages, with links to each package's Haddock docs locally and on Hackage.  While "cabal install" now creates and maintains an index by module, sometimes it's nice to have this other view (and the quick links to Hackage). docidx queries your global and user package databases (via ghc-pkg, via the Cabal package), to build an index of all installed packages - including version numbers where more than one version is present, package synopses, links to the local Haddock docs, and a link to the package on Hackage. Packages are grouped by first letter, and there's an A-Z index at the top of the page, which can be easily extended via a config file to include extra links you think are handy - e.g. to the per-module index, to local ghc documentation, to the Haskell report, etc. - whatever you want). Version 1.1.0

Show more results