ideas provides feedback services to intelligent tutoring systems such as the digital mathematical environment of the Freudenthal Institute, MathDox, and Activemath.
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.
ID3v2 (tagging standard for MP3 files) library
Implements IDNA - Internationalized Domain Names in Applications (RFC 3490).
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").
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
A variant of Data.Dynamic that can be indexed, stored, transmitted trough communications etc.
Use regular Haskell data structures as your database and get stronger ACID guarantees than most RDBMS offer.
Adds TLS support for connections to remote AcidState databases
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.
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.
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/
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.
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
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.
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.
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.
This package contains a set of widgets for the Dingo Rich Internet Application platform.
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).
Show more results