Benno Fünfstück's repositories

dynamic-cabal

Dynamically load the Cabal library to use a newer version with the GHC API

Language:HaskellLicense:NOASSERTIONStargazers:12Issues:8Issues:4

ghc-server

No longer maintained

Language:HaskellLicense:NOASSERTIONStargazers:2Issues:0Issues:0

hdevtools

*Warning: Fork not maintained* Persistent GHC-powered background server for FAST haskell development tools

Language:HaskellLicense:MITStargazers:2Issues:4Issues:3

software-foundations

Solutions to the book "Software Foundations": http://www.cis.upenn.edu/~bcpierce/sf/current/index.html

Language:CoqLicense:MITStargazers:2Issues:3Issues:0
Language:HaskellStargazers:1Issues:0Issues:0

haemu

A simple processor emulator written in haskell.

Language:HaskellLicense:GPL-3.0Stargazers:1Issues:0Issues:0

hsqml-react

Declarative interface to HsQML using reactive-banana

Language:HaskellLicense:NOASSERTIONStargazers:1Issues:0Issues:0

typeable-th

There is no need to manually write TypeableN instances anymore!

Language:HaskellLicense:NOASSERTIONStargazers:1Issues:0Issues:0

vplan

A flexible library for representing schedules in haskell

Language:HaskellLicense:GPL-3.0Stargazers:1Issues:0Issues:0

cabal-bounds

A command line program for managing the bounds/versions of the dependencies in a cabal file.

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

crazy-sinus

Some fun with sinus & co.

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

freenect

Haskell interface to Kinect.

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

gloss

Painless 2D vector graphics, animations and simulations.

Language:HaskellStargazers:0Issues:0Issues:0

haskell-mode

Emacs mode for Haskell

Stargazers:0Issues:0Issues:0

haskell-src-meta

Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.

License:NOASSERTIONStargazers:0Issues:0Issues:0

hcwiid

Haskell binding for CWiid (wiimote)

Language:HaskellLicense:GPL-2.0Stargazers:0Issues:0Issues:0

hlint

Haskell source code suggestions

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

hp2any

Haskell space profiling toolset

Language:HaskellStargazers:0Issues:0Issues:0

http-client

An HTTP client engine, intended as a base layer for more user-friendly packages.

Language:HaskellStargazers:0Issues:0Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

post-rfc

Blog post previews in need of peer review

Stargazers:0Issues:0Issues:0

quickcheck

Automatic testing of Haskell programs.

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

recursion-schemes

Generalized bananas, lenses and barbed wire

License:NOASSERTIONStargazers:0Issues:0Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

tuf

Like the S in HTTPS, a plug-and-play library for securing a software updater

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

udiskie

Automounter for removable media

Language:PythonLicense:MITStargazers:0Issues:0Issues:0
Language:NixStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

yi

The Haskell-Scriptable Editor

Stargazers:0Issues:0Issues:0