BNFC
The BNF Converter is a compiler construction tool generating a compiler front-end from a Labelled...
Latest release 2.8.1 - Updated - 256 stars
smartcheck
See the README.md.
Latest release 0.2.4 - Updated - 97 stars
derive
Data.Derive is a library and a tool for deriving instances for Haskell programs. It is designed t...
Latest release 2.6.4 - Updated - 18 stars
active
Active abstraction for animated things with finite start and end times.
Latest release 0.2.0.13 - Updated - 12 stars
epic
Epic is a simple functional language which compiles to reasonably efficient C code, using the Boe...
Latest release 0.9.3.3 - Updated - 54 stars
selective
Selective applicative functors: declare your effects statically, select which to execute dynamica...
Latest release icfp-submission - Published - 63 stars
pi-calculus
Phi - an interpreter for the applied pi-calculus. Very rough around the edges.
Latest release 0.0.5 - Updated - 15 stars
hopfield
Attractor Neural Networks for Modelling Associative Memory Report: https://github.com/imperialh...
Latest release 0.1.0.2 - Updated - 26 stars
AlgorithmW
Complete implementation of the classic algorithm W for Hindley-Milner polymorphic type inference ...
Latest release 0.1.1.0 - Updated - 19 stars
gencheck
This framework provides functionality for testing Haskell functions against properties, similar t...
Latest release 0.1.1 - Updated - 18 stars
TransformersStepByStep
In this tutorial, we describe how to use monad transformers in order to incrementally add functio...
Latest release 0.1.1.0 - Updated - 8 stars
data-structure-inferrer
This project is meant to be a compiler feature/wrapper that analyzes your code and chooses the be...
Latest release 1.0 - Published - 10 stars
arxiv
The arXiv is a repository of electronic preprints, known as e-prints, of scientific papers in the...
Latest release 0.0.1 - Published
build
A library for experimenting with build systems and incremental computation frameworks, based on t...
Latest release 0.0.1.1 - Updated - 41 stars
Parallel-Arrows-Definition
Using Arrows to model parallel processes/computations.
Latest release 0.1.1.0 - Published - 14 stars
Parallel-Arrows-BaseSpec
Using Arrows to model parallel processes/computations.
Latest release 0.1.1.0 - Published - 14 stars
Parallel-Arrows-ParMonad
Using Arrows to model parallel processes/computations.
Latest release 0.1.1.0 - Published - 14 stars
Parallel-Arrows-Multicore
Using Arrows to model parallel processes/computations.
Latest release 0.1.1.0 - Published - 14 stars
Parallel-Arrows-Eden
Using Arrows to model parallel processes/computations.
Latest release 0.1.1.0 - Published - 14 stars
rake
Common Haskell Libraries
Latest release 0.0.1 - Published - 4 stars
multi-trie
A trie of sets, as a model of many-valued structured naming, in Haskell
Latest release 0.1 - Published - 1 stars
License
Language
Keyword
Platform

Subscribe to an RSS feed of this search