libpandoc : C bindings to Pandoc, a markup converter library written in Haskell.
author: ShabbyX
created: 2009-03-08 15:43:39
haskell pandoc


libmpd-haskell : A client library for MPD, the Music Player Daemon
author: vimus
created: 2009-08-31 14:55:57
haskell mpd mpd-client


Astview : Astview is a graphical viewer for abstract syntax trees
author: pascalh
created: 2009-11-17 09:29:28
compiler-principles generic haskell language parse syntax-tree


cradle : Let's Build a Compiler (in Haskell)
author: alephnullplex
created: 2010-01-11 08:28:25
crenshaw haskell toy-compiler toy-language


pandoc : Universal markup converter
author: jgm
created: 2010-03-20 20:34:23
converter document haskell markdown markup pandoc presentation publishing


specifica : Umbrella project for short, swimlane and various TLA+ tools (parser, evaluator)
author: ret
created: 2010-03-30 06:16:08
haskell mit-license specifications tla


ip6addr : ip6addr is a commandline tool that validates and generates IPv6 address text representations
author: MichelBoucey
created: 2010-04-25 16:50:21
commandline haskell ipv6 ipv6-address


husk-scheme : A practical implementation of the Scheme programming language for the Haskell Platform.
author: justinethier
created: 2010-05-26 17:02:56
haskell scheme


dotfiles : :tulip:
author: gabebw
created: 2010-08-02 10:18:14
dotfiles haskell homebrew rcm ruby shell zsh vim script


LambdaHack : Haskell game engine library for roguelike dungeon crawlers; try out the browser version at
author: LambdaHack
created: 2010-10-02 12:59:47
ascii browsergame engine freesoftware game gamedev haskell html5 indiedev library pcg replayability roguelike sdl squad tactical turnbased


Allure : Allure of the Stars is a near-future Sci-Fi roguelike and tactical squad game written in Haskell
author: AllureOfTheStars
created: 2010-10-02 13:22:20
ascii browsergame freesoftware game haskell html5 lambdahack pcg replayability roguelike sdl squad tactical turnbased


text : An efficient packed, immutable Unicode text type for Haskell, with a powerful loop fusion optimization framework.
author: haskell
created: 2010-10-20 03:35:23
haskell string-manipulation text unicode


network : Low-level networking interface
author: haskell
created: 2010-10-27 21:37:32
haskell network socket


vimus : An MPD client with vim-like key bindings, written in Haskell
author: vimus
created: 2010-11-04 18:43:13
haskell mpd


xmlhtml : XML parser and renderer with HTML 5 quirks mode
author: snapframework
created: 2011-01-06 18:25:44
haskell html-parser xml-parser


reactive-banana : Library for functional reactive programming in Haskell.
author: HeinrichApfelmus
created: 2011-01-15 20:19:26
frp haskell reactive-banana-library


vty : A high-level ncurses alternative written in Haskell
author: jtdaugherty
created: 2011-03-16 22:03:51
haskell tui ui


accelerate : Embedded language for high-performance array computations
author: AccelerateHS
created: 2011-04-08 02:50:11
accelerate cuda gpu-computing haskell llvm parallel-computing


bindings-levmar : Low level Haskell bindings to the C levmar (Levenberg-Marquardt) library
author: basvandijk
created: 2011-04-15 22:45:40
haskell levenberg-marquardt c


cuda : Haskell FFI bindings to CUDA
author: tmcdonell
created: 2011-04-16 07:31:39
cuda ffi-bindings haskell


mathblog : A package for managing a static, mathematically-inclined web log
author: jtdaugherty
created: 2011-04-16 23:41:18
blog latex math static-site-generation haskell


levmar : An implementation of the Levenberg-Marquardt algorithm
author: basvandijk
created: 2011-04-17 12:50:20
haskell levenberg-marquardt


concurrent-extra : Extra concurrency primitives
author: basvandijk
created: 2011-04-17 14:25:16
concurrency haskell


threads : Fork threads and wait for their result
author: basvandijk
created: 2011-04-17 15:01:53
concurrency haskell


regions : Provides the region monad for safely opening and working with scarce resources
author: basvandijk
created: 2011-04-17 15:35:55
haskell


usb : Communicate with USB devices
author: basvandijk
created: 2011-04-17 16:11:43
haskell usb


safer-file-handles : Type-safe file handling
author: basvandijk
created: 2011-04-17 18:09:49
haskell


data-structure-inferrer : A program that analyzes source code with a data-structure wildcard and suggests the right one.
author: alistra
created: 2011-04-21 20:06:51
analyzer c compiler data-structures haskell tex


bindings-libusb : Low level bindings to libusb
author: basvandijk
created: 2011-04-24 21:45:02
haskell usb


hdbc-mysql : This package provides a MySQL driver for Haskell's HDBC library, implemented via bindings to the C mysqlclient library.
author: ryantm
created: 2011-04-26 03:27:47
driver haskell hdbc-mysql mysql-server


monad-memo : Memoization monad transformer
author: EduardSergeev
created: 2011-05-10 14:13:33
haskell memoization monad-transformers


Project-Euler-solutions : Runnable code for solving Project Euler problems in Java, Python, Mathematica, Haskell.
author: nayuki
created: 2011-06-12 22:36:02
algorithms competitive-programming dynamic-programming haskell java math mathematica mathematics number-theory project-euler proofs python recursion


Reduceron : FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including hardware garbage collection. Reduceron has been implemented on various FPGAs with clock frequency ranging from 60 to 150 MHz depending on the FPGA. A high degree of parallelism allows Reduceron to implement graph evaluation very efficiently. This fork aims to continue development on this, with a view to practical applications. Comments, questions, etc are welcome.
author: tommythorn
created: 2011-06-22 08:18:03
compiler fpga haskell lava verilog


dagd : A URL shortener with various other utilities.
author: relrod
created: 2011-07-30 08:31:11
haskell network php url-shortener utility website


cabal2nix : Generate Nix build instructions from a Cabal file
author: NixOS
created: 2011-08-05 15:31:37
cabal cabal2nix hackage haskell nix


taffybar : A gtk based status bar for tiling window managers such as XMonad
author: taffybar
created: 2011-08-12 06:10:24
appindicator dbus ewmh gi-gtk gtk gtk2hs haskell haskell-gi mpris stack statusnotifieritem systray taffybar tiling-window-manager upower x11 xmobar xmonad


operational : Implement monads by specifying instructions and their desired operational semantics.
author: HeinrichApfelmus
created: 2011-08-27 12:07:16
free-monad haskell monad


vault : A typed, persistent store for values of arbitrary types
author: HeinrichApfelmus
created: 2011-09-07 12:21:59
haskell immutable-datastructures type-safety


HNC : HN Compiler
author: nponeccop
created: 2011-10-07 18:27:55
compiler haskell optimization purescript rust


effects : Control.Effects
author: sjoerdvisscher
created: 2011-10-15 19:51:45
eff haskell monad-transformers


lamdu : lamdu - towards the next generation IDE
author: lamdu
created: 2011-10-20 21:13:43
integrated-development-environment programmer-tool programming-language haskell


luautils : Helpers for Haskell integration with Lua
author: ajnsit
created: 2011-11-21 04:32:40
haskell lua


dbmigrations : A library for the creation, management, and installation of schema updates for relational databases.
author: jtdaugherty
created: 2011-11-26 21:24:30
database migration mysql postgresql relational-databases schema-evolution sqlite haskell


kitten : A statically typed concatenative systems programming language.
author: evincarofautumn
created: 2011-12-20 04:17:17
concatenative effects forth haskell language programming-language static-types


threepenny-gui : GUI framework that uses the web browser as a display.
author: HeinrichApfelmus
created: 2011-12-25 00:17:06
gui haskell javascript


Robin : (WIP) A s-expression language where macros, not lambdas, are fundamental [BSD license]
author: catseye
created: 2012-01-11 03:55:28
experimental-language macros s-expressions haskell


wai-routes : Typesafe URLs for Haskell Wai applications
author: ajnsit
created: 2012-01-13 14:39:52
haskell typesafe typesafe-routes wai wai-routes


mtl : The Monad Transformer Library
author: haskell
created: 2012-01-25 02:09:10
haskell monad monad-transformers


haste-compiler : A GHC-based Haskell to JavaScript compiler
author: valderman
created: 2012-01-26 10:23:30
compiler ghc haskell javascript language web


gtk-helpers : Auxiliary Gtk+ 2 and Gtk+ 3 operations
author: keera-studios
created: 2012-01-27 18:36:26
haskell


tomato-rubato : Tomato-rubato is an easy to use library for live audio programming in Haskell.
author: HeinrichApfelmus
created: 2012-02-13 17:45:03
haskell midi music-programming


blaze-svg : SVG Combinators for Haskell
author: deepakjois
created: 2012-02-26 22:08:42
haskell


imm : Execute arbitrary actions for each unread element of RSS/Atom feeds
author: k0ral
created: 2012-02-27 20:15:51
feed-reader haskell


dmcc : Haskell bindings for AVAYA DMCC API and WebSockets server for AVAYA
author: f-me
created: 2012-03-06 15:02:37
avaya telephony websockets haskell


Flobnar : This is what happens when you get Befunge-93 drunk [BSD license]
author: catseye
created: 2012-03-12 16:17:07
esolang esoteric-language esoteric-programming-language fungeoid haskell


Mascarpone : You are lost in a twisty maze of meta-circular interpreters, all alike.
author: catseye
created: 2012-03-14 21:40:43
interpreter meta-circular programming-language haskell


cabal : Official upstream development repository for Cabal and cabal-install
author: haskell
created: 2012-03-15 12:53:38
cabal hackage haskell


factorial-multi-language : Calc factorial in any languages
author: msoap
created: 2012-03-18 11:13:46
awk benchmark coffeescript dart erlang golang haskell java javascript kotlin languages lua ocaml pascal perl php python ruby rust swift


cassava : A CSV parsing and encoding library optimized for ease of use and high performance
author: haskell-hvr
created: 2012-03-20 00:14:40
cassava csv-parser csv-parsing haskell


kanji : Haskell suite for determining what 級 (level) of the 漢字検定 (national Kanji exam) a given Kanji belongs to.
author: fosskers
created: 2012-03-25 12:41:36
haskell japanese kanji


Quylthulg : A functional language with goto's inside data structures [BSD license]
author: catseye
created: 2012-03-26 21:45:06
esolang esoteric-language esoteric-programming-language functional-programming haskell


Hev : A Solution to the Central Problem of Infix Notation [BSD license]
author: catseye
created: 2012-03-27 20:52:20
esolang esoteric-language esoteric-programming-language precedence haskell


PortFusion : Haskell-powered cross-platform transport-layer distributed reverse / forward proxy & tunneling solution – currently available for all TCP protocols (RDP, VNC, HTTP(S), SSH, ...).
author: corsis
created: 2012-03-29 13:56:59
application gplv3 haskell multi-platform proxy reverse-proxy simple tcp


HaLVM : The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
author: GaloisInc
created: 2012-03-29 22:39:16
halvm haskell lightweight-virtual-machines xen xen-hypervisor


lhc : The LLVM LHC Haskell Optimization System
author: Lemmih
created: 2012-04-06 15:23:07
compiler haskell llvm


lambdacube-edsl : Previous version of LambdaCube 3D as Embedded Domain Specific Language in Haskell. Check the latest system:
author: lambdacube3d
created: 2012-04-21 00:41:37
3d demoscene domain-specific-language font gpu graphics haskell


PL-GOTO.NET : A MSIL-generating compiler for PL-{GOTO} [Public domain]
author: catseye
created: 2012-05-11 04:42:44
compiler dotnet ilasm primitive-recursion primitive-recursive toy-language haskell


optparse-applicative : Applicative option parser
author: pcapriotti
created: 2012-05-11 17:09:52
applicative haskell option-parser


compiler-explorer : Run compilers interactively from your web browser and interact with the assembly
author: mattgodbolt
created: 2012-05-23 01:31:17
assembly c-plus-plus compiler cpp dlang go haskell ispc rust swift javascript


hopes : Higher Order Prolog with Extensional Semantics
author: acharal
created: 2012-06-04 06:47:57
higher-order-logic hopes interpreter logic-programming prolog haskell


wam : A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
author: acharal
created: 2012-06-04 11:03:58
logic-programming machine prolog prolog-compiler wam warren haskell


ghci-color : colorize ghci output
author: rhysd
created: 2012-06-06 18:49:57
color ghci haskell shell


M-Cohomology : Basic abstractions and methods for computations in terms of group algebra Z[G] and automatic construction of cocycle translations for computation of cup-product.
author: laughedelic
created: 2012-06-09 23:41:54
algebra category-theory cohomology haskell mathematics maths thesis


Emmental : A language based on meta-circular interpreters, precursor to Mascarpone.
author: catseye
created: 2012-06-14 16:28:13
esolang esoteric-language esoteric-programming-language interpreter meta-circular haskell


Iphigeneia : A toy imperative/functional hybrid language [BSD license]
author: catseye
created: 2012-06-14 17:25:08
functional-programming imperative-programming-language toy-language haskell


keera-hails : Keera Hails: Haskell on Rails - Reactive Programming Framework for Interactive Haskell applications
author: keera-studios
created: 2012-06-15 12:44:50
android frp functional-reactive-programming ghcjs gtk haskell ios mvc qt reactive-values rvs web wx yampa


proteaaudio : Simple audio library for Windows, Linux, OSX. Supports Ogg and Wav playback and multichannel mixing.
author: csabahruska
created: 2012-07-29 23:14:06
audio haskell linux mixer ogg-vorbis osx wav windows c++


SublimeHaskell : A Sublime Text 3 plugin for Haskell. Features cabal building, error and warning highlighting, smart completion and ghc-mod integration.
author: SublimeHaskell
created: 2012-08-02 13:05:02
cabal ghc haskell ide stack sublime python


nikkei-linux-fp :
author: tatsuya6502
created: 2012-08-27 12:31:47
erlang functional-programming haskell


SimpleServer : A simple static server written in Haskell, for when Apache is overkill
author: ajnsit
created: 2012-09-02 09:57:04
apache config haskell server static-server


raaz : Cryptographic library for Haskell
author: raaz-crypto
created: 2012-09-06 05:25:48
cryptographic-library cryptography haskell raaz


tangles : Knot Theory library focusing on k-tangles
author: mishun
created: 2012-09-08 17:27:42
haskell knot-theory topology


liquidhaskell : Liquid Types For Haskell
author: ucsd-progsys
created: 2012-09-22 15:06:55
haskell refinement-types smt verification


ddc : The Disco Discus Compiler
author: discus-lang
created: 2012-09-24 09:11:06
capabilities compiler effects experimental functional language regions haskell


OTP : Haskell implementation of One-Time Passwords algorithms
author: haskell-hvr
created: 2012-09-24 13:50:17
2fa-security haskell hotp oath totp


snowdrift : Infrastructure for Snowdrift.coop. This is a MIRROR of https://git.snowdrift.coop/sd/snowdrift. Your issue reports and merge requests are welcome, but they will be moved to git.snowdrift.coop. You are encouraged to start there instead!
author: snowdriftcoop
created: 2012-10-06 00:02:35
haskell


language-puppet : A library to work with Puppet manifests, test them and eventually replace everything ruby.
author: bartavelle
created: 2012-10-19 12:48:34
continuous-integration haskell library parser puppet server tests


project-euler : :triangular_ruler: Solving the problems proposed by Project Euler.
author: mraxilus
created: 2012-11-11 22:23:36
challenges problems project-euler haskell


Symbolic-math-HaTeX : Convenient Haskell syntax for writing in LaTeX math expressions
author: leftaroundabout
created: 2012-12-22 16:32:14
haskell latex symbolic-manipulation


ngless : NGLess: NGS with less work
author: ngless-toolkit
created: 2013-01-08 15:56:55
bioinformatics bioinformatics-pipeline bwa fastq fastq-format genomics haskell haskell-language metagenomics next-generation-sequencing ngs samtools science


computational-algebra : Library to calculate Gröbner basis written in Haskell.
author: konn
created: 2013-01-13 15:48:48
algorithm computational-algebra groebner-basis haskell ideal math mathematics polynomial html


csound-expression : Haskell Framework for Electronic Music
author: spell-music
created: 2013-01-20 15:47:46
csound functional-programming generative-art glitch-art haskell haskell-art haskell-library music-library


futhark : :boom::computer::boom: A data-parallel functional programming language
author: diku-dk
created: 2013-02-01 15:07:26
boom compiler futhark gpgpu gpu hpc language opencl haskell


articles : Miscellaneous articles. The readme is the table of contents.
author: quchen
created: 2013-02-07 18:52:10
articles haskell hindley-milner tutorials


proton : Proton is a simple, "code-less" engine for xml/xhtml templates. Code-less, because it uses 3 types of ID (attribute) in a template file, rather than snippets of code — this moves the complexity out of the template and into the application.
author: jasonrbriggs
created: 2013-02-13 23:30:37
haskell java nim python


egison : Egison is a purely functional programming language with non-linear pattern-matching against non-free data types. We can directly pattern-match against a wide range of data types such as lists, multisets, sets, trees and graphs with Egison.
author: egison
created: 2013-02-15 04:35:21
computer-algebra-system differential-geometry egison functional-programming pattern-matching programming-language tensor haskell


hsansible : Framework for rapid development of Ansible modules in Haskell programming language.
author: trskop
created: 2013-02-25 18:13:32
ansible ansible-modules haskell


haskellnews : An aggregation of all online content related to Haskell.
author: haskellnews
created: 2013-03-17 12:42:25
haskell haskell-news


hdocs : Haskell docs tool
author: mvoidex
created: 2013-03-24 03:13:45
developer-tools haskell


ted2srt : Download bilingual subtitles of TED talks
author: rnons
created: 2013-03-24 10:24:13
haskell purescript purescript-halogen ted ted-subtitle ted-talks


Cookies help us deliver our services. By using our services, you agree to our use of cookies Learn more