Agda
Agda is a dependently typed functional programming language: It has inductive families, which are...
Latest release 2.5.4.2 - Updated - 665 stars
summoner-tui
Tool for scaffolding fully configured batteries-included production-level Haskell projects using ...
Latest release v1.2.0 - Published - 285 stars
flow
Flow provides operators for writing more understandable Haskell.
Latest release 1.0.17 - Updated - 101 stars
summoner
Tool for scaffolding fully configured batteries-included production-level Haskell projects. See R...
Latest release 1.2.0 - Updated - 285 stars
dejafu
[Déjà Fu is] A martial art in which the user's limbs move in time as well as space, […] It is bes...
Latest release 1.11.0.5 - Updated - 126 stars
blank-canvas
blank-canvas is a Haskell binding to the complete HTML5 Canvas API. blank-canvas allows Haskell u...
Latest release 0.6.3 - Updated - 46 stars
wuss
Wuss is a library that lets you easily create secure WebSocket clients over the WSS protocol. It ...
Latest release 1.1.11 - Updated - 38 stars
strive
Strive is a client for the Strava V3 API.
Latest release 5.0.8 - Updated - 29 stars
patat
Terminal-based presentations using Pandoc.
Latest release 0.8.1.1 - Updated - 1.01K stars
taskell
Please see the README on GitHub at https://github.com/smallhadroncollider/taskell#readme
Latest release 0.9.2 - Published - 412 stars
webdriver
A Selenium WebDriver client for Haskell. You can use it to automate browser sessions for testing,...
Latest release 0.8.5 - Updated - 131 stars
termonad
Please see README.md.
Latest release 1.1.0.0 - Updated - 126 stars
xml-to-json
The xml-to-json executable (and library) converts XMLs to json format, gaining readability while ...
Latest release 2.0.1 - Updated - 55 stars
hairy
Hairy is a JSON REST API. Check out the readme for documentation.
Latest release 0.1.3 - Updated - 48 stars
capataz
capataz enhances the reliability of your concurrent applications by offering supervision of green...
Latest release 0.2.0.0 - Updated - 35 stars
ombra
[Index] Enable the OpenGL backend. Main module: Graphics.Rendering.Ombra.Backend.OpenGL Enabl...
Latest release 1.1.0.0 - Updated - 32 stars
ats-pkg
A collection of scripts to simplify building ATS projects.
Latest release 3.2.4.5 - Updated - 21 stars
statgrab
Provides an interface to the cross platform system statistics C library, libstatgrab. It support...
Latest release 0.1.3 - Updated - 8 stars
ConfigUpgradeUtility
XML files upgrade utility (engine). Useful for upgrade XML config files during installation process.
Latest release 2.5.3 - Updated
xCONFLiCTiONx.LocalInstallInfo
Easily keep track of how many people un/install your software for analytical purposes
Latest release 1.4.0 - Updated
niman
A Flexible Installation Manager for Node JS ( NVM plus )
Latest release 0.0.28 - Updated - 2 stars
@byu-oit/node-postgres-query-builder
Quickly build postgresql queries
Latest release 1.4.1 - Updated
fis-parser-type-script
A parser plugin for fis to compile typescript.
Latest release 0.0.4 - Updated
teardown
The teardown library allows you to reliably execute cleanup sub-routines for allocated resources....
Latest release 0.5.0.0 - Updated - 11 stars
componentm
This library allows you to allocate resources with clean up strategies when initializing your app...
Latest release 0.0.0.2 - Updated
pandoc-pyplot
A Pandoc filter to include figures generated from Python code blocks. Keep the document and Pytho...
Latest release 1.1.0.0 - Updated
package-to-readme
🔥 Generate readme.md from package.json!
Latest release 1.1.1 - Updated
math_example_rtingle1_2016
An example of creating a package
Latest release 1.0.0 - Published
componentm-devel
This library enhances the componentm with auto-reloading capabilites for your application, allowi...
Latest release 0.0.0.2 - Published
math_example08
An example of creating a package
Latest release 0.0.1 - Updated
License
Language
Keyword
Platform

Subscribe to an RSS feed of this search