• Fudgets

  • Referenced in 16 articles [sw10077]
  • Interface Toolkit for the functional programming language Haskell and the X Windows system. Fudgets also...
  • HTab

  • Referenced in 11 articles [sw12427]
  • HTab is written in the functional language Haskell, using the Glasgow Haskell Compiler...
  • KiCS2

  • Referenced in 10 articles [sw07613]
  • KiCS2: a new compiler from Curry to Haskell. In this paper we present our first ... source language Curry into purely functional Haskell programs. Our implementation is based on the idea...
  • TTM

  • Referenced in 9 articles [sw11997]
  • tableau method. TTM has been implemented in Haskell using the Glasgow Haskell Compiler...
  • RepLib

  • Referenced in 9 articles [sw13304]
  • structure of types. As a result, the Haskell language includes the ”deriving” mechanism to automatic ... associated instance declaration by a normal Haskell functions that pattern-matches a representation type. Furthermore...
  • FranTk

  • Referenced in 6 articles [sw13065]
  • FranTk -- a declarative GUI language for Haskell. FranTk is a new high level library ... programming Graphical User Interfaces (GUIs) in Haskell. It is based on Fran (Functional Reactive Animation ... widgets. It has been released as a Haskell library that runs under Hugs...
  • Nikola

  • Referenced in 6 articles [sw14049]
  • Nikola: embedding compiled GPU functions in Haskell. We describe Nikola, a first-order language ... array computations embedded in Haskell that compiles to GPUs via CUDA using ... range of low-level details for Haskell programmers, such as marshaling data to/from...
  • LETOS

  • Referenced in 10 articles [sw04987]
  • competitive execution and tracing using Miranda or Haskell, and versatile enough to support derivation tree...
  • Yampa

  • Referenced in 10 articles [sw13681]
  • Yampa was originally developed by the Yale Haskell Group based on the original idea...
  • Pochoir

  • Referenced in 10 articles [sw25851]
  • compiler is written in Haskell. Currently, the Pochoir package is only tested on Linux system...
  • Zeno

  • Referenced in 9 articles [sw07735]
  • recursively defined data structures. It takes a Haskell program and an assertion as its goal...
  • TituRel

  • Referenced in 8 articles [sw08501]
  • TituRel is built on Haskell. It has given substantial help in many explorative investigations: games...
  • Flask

  • Referenced in 5 articles [sw09691]
  • Flask, a domain specific language embedded in Haskell that brings the power of functional programming ... sensor network code; a restricted subset of Haskell that runs on sensor networks and constrains...
  • QuickSpec

  • Referenced in 7 articles [sw19206]
  • case studies: a heap library for Haskell and a fixed-point arithmetic library for Erlang...
  • DEMO

  • Referenced in 7 articles [sw29079]
  • code of an implementation of DEMO in Haskell, in Knuth’s ‘literate programming’ style...
  • Unbound

  • Referenced in 4 articles [sw22613]
  • binding specification language as a GHC Haskell library implementing an embedded domain specific language (EDSL ... using Haskell type constructors to represent binding combinators, we implement the EDSL succinctly using datatype ... preservation (for error messages), and integration with Haskell’s monad transformer library...
  • Irdis

  • Referenced in 6 articles [sw09690]
  • eager evaluation. Its features are influenced by Haskell and ML, and include: Full dependent types...
  • Koka

  • Referenced in 6 articles [sw19068]
  • never throw an unhandled exception. Similar to Haskell’s `runST` we show...
  • miniKanren

  • Referenced in 6 articles [sw20082]
  • host languages, including Scheme, Racket, Clojure, Haskell, Python, JavaScript, Scala, Ruby, OCaml, and PHP, among...