Open Source Haskell Software Development Software - Page 3

Haskell Software Development Software

View 5975 business solutions

Browse free open source Haskell Software Development Software and projects below. Use the toggles on the left to filter open source Haskell Software Development Software by OS, license, language, programming language, and project status.

  • Failed Payment Recovery for Subscription Businesses Icon
    Failed Payment Recovery for Subscription Businesses

    For subscription companies searching for a failed payment recovery solution to grow revenue, and retain customers.

    FlexPay’s innovative platform uses multiple technologies to achieve the highest number of retained customers, resulting in reduced involuntary churn, longer life span after recovery, and higher revenue. Leading brands like LegalZoom, Hooked on Phonics, and ClinicSense trust FlexPay to recover failed payments, reduce churn, and increase customer lifetime value.
    Learn More
  • Collect! is a highly configurable debt collection software Icon
    Collect! is a highly configurable debt collection software

    Everything that matters to debt collection, all in one solution.

    The flexible & scalable debt collection software built to automate your workflow. From startup to enterprise, we have the solution for you.
    Learn More
  • 1
    dhall-haskell

    dhall-haskell

    Maintainable configuration files

    Maintainable configuration files. Navigate to each package's directory for their respective READMEs. You can download pre-built binaries for Windows, OS X and Linux on the release page. You can then click the "Help" button in the bottom right corner, which will show you a nix-env command that you can run to install the prebuilt executable. You will probably want to use the shared caches hosted at cache.dhall-lang.org and dhall.cachix.org when doing Nix development. This is not required, but this will save you a lot of time so that you don't have to build as many dependencies from scratch the first time. If you prefer installing the binaries locally in a nix shell environment instead, just run nix-shell in the top-level directory. This option provides additional flexibility with respect to overriding some of the default parameters (e.g. the compiler version), which makes it particularly useful for developers.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 2
    elm-format

    elm-format

    elm-format formats Elm source code

    elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide. It makes code easier to write, because you never have to worry about minor formatting concerns while powering out new code. It makes code easier to read, because there are no longer distracting minor stylistic differences between different code bases. As such, your brain can map more efficiently from source to mental model. It makes code easier to maintain because you can no longer have diffs related only to formatting; every diff necessarily involves a material change. It saves your team time debating how to format things because there is a standard tool that formats everything the same way. It saves you time because you don't have to nitpick over formatting details of your code.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 3
    turtle

    turtle

    Shell programming, Haskell style

    Turtle is a reimplementation of the Unix command line environment in Haskell so that you can use Haskell as a scripting language or a shell. Think of turtle as coreutils embedded within the Haskell language. The turtle library focuses on being a "better Bash" by providing a typed and light-weight shell scripting experience embedded within the Haskell language. If you have a large shell script that is difficult to maintain, consider translating it to a "turtle script" (i.e. a Haskell script using the turtle library). Among typed languages, Haskell possesses a unique combination of features that greatly assist scripting.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 4
    zsh-git-prompt

    zsh-git-prompt

    Informative git prompt for zsh

    zsh-git-prompt is a Z shell prompt script that displays rich Git repository information in your shell prompt, such as branch, ahead/behind status, staged changes, conflicts, and more. It enhances developer productivity in version-controlled workflows. There is now a Haskell implementation as well, which can be four to six times faster than the Python one. The reason is not that Haskell is faster in itself (although it is), but that this implementation calls git only once. You may redefine the function git_super_status (after the source statement) to adapt it to your needs (to change the order in which the information is displayed).
    Downloads: 1 This Week
    Last Update:
    See Project
  • Agentic AI SRE built for Engineering and DevOps teams. Icon
    Agentic AI SRE built for Engineering and DevOps teams.

    No More Time Lost to Troubleshooting

    NeuBird AI's agentic AI SRE delivers autonomous incident resolution, helping team cut MTTR up to 90% and reclaim engineering hours lost to troubleshooting.
    Learn More
  • 5

    pandoc

    Universal text format converter

    Pandoc is a Haskell library for converting from one markup format to another, and a command-line tool that uses this library. For latest releases, see https://github.com/jgm/pandoc/releases.
    Downloads: 8 This Week
    Last Update:
    See Project
  • 6
    A Unix desktop environment, using multi-processing as the principle method of program partitioning and built around the everything-is-a-file assumption, with scripting using the programming language Haskell.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 7
    Experimental compiler for an extended version of the Curry programming language
    Downloads: 4 This Week
    Last Update:
    See Project
  • 8
    Lsl Plus is an edit/compile/test environment for the Linden Scripting Language (LSL), implemented as an Eclipse plug-in.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 9
    A wrapper around Gtk+ 2.x for the functional language Haskell featuring full memory management, Unicode awareness and of course the new features of Gtk2.
    Leader badge
    Downloads: 1 This Week
    Last Update:
    See Project
  • AestheticsPro Medical Spa Software Icon
    AestheticsPro Medical Spa Software

    Our new software release will dramatically improve your medspa business performance while enhancing the customer experience

    AestheticsPro is the most complete Aesthetics Software on the market today. HIPAA Cloud Compliant with electronic charting, integrated POS, targeted marketing and results driven reporting; AestheticsPro delivers the tools you need to manage your medical spa business. It is our mission To Provide an All-in-One Cutting Edge Software to the Aesthetics Industry.
    Learn More
  • 10
    Agda is a system for incrementally developing proofs and programs. This is the sourceforge project for the PREVIOUS Agda (Agda 1). A newer version of Agda (Agda 2) in beta testing is available from: http://wiki.portal.chalmers.se/agda/
    Downloads: 2 This Week
    Last Update:
    See Project
  • 11
    Assorted projects. General-purpose libraries for Python, C++, Scala, bash, and others. Meta-programming tools. System utilities. UI components. Web APIs. Configuration files. Benchmarks. Programming competition entries. And much more.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 12

    AlloyMDA

    MDA support for Alloy

    This project intends to develop tools to enable MDA support for the formal modeling language Alloy.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 13
    Language Prototyping System
    Downloads: 1 This Week
    Last Update:
    See Project
  • 14
    More Than Parsing is a parser generator for context free grammars defined in a BNF-like format. It generates scanners, parsers, ASTs, etc. This sf project is no longer active, development will continue in a different place.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 15
    An integrated development environment for the programming language haskell.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 16

    wikit

    wiki engine for small teams

    wikit is another wiki engine suited for small teams. It’s written in Haskell with using Yesod Web Framework. It’s cross platform and was designed to be running as a desktop service application servicing wiki articles and providing some basic capabilities in terms of searching and storing data. It’s perhaps most distinct feature is that it relies on backing Git distributed source control system. And keeps it’s articles in markdown format. Which makes it very easy to port out of the wiki and keep somewhere else if one would wish so, and vice versa, it allows to through bunch of existing documents in markdown format to be introduced into wiki and make available to your team.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 17
    Accelerate

    Accelerate

    Embedded language for high-performance array computations

    Data.Array.Accelerate defines an embedded language of array computations for high-performance computing in Haskell. Computations on multi-dimensional, regular arrays are expressed in the form of parameterized collective operations (such as maps, reductions, and permutations). These computations are online-compiled and executed on a range of architectures. Accelerate is a free, general-purpose, open-source library that simplifies the process of developing software that targets massively parallel architectures including multicore CPUs and GPUs. Embedded in the advanced functional programming language Haskell, Accelerate programs are declarative, statically-typed, pure, functional, and ready to exploit all of the performance of modern parallel hardware. The combination of a strong type system, high-level code, and interactive development environment, allows you to develop code quickly with the confidence that it is correct.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    Aeson

    Aeson

    A fast Haskell JSON library

    aeson is a high-performance Haskell library for JSON parsing and encoding, optimized for speed and ease of use. It serves as a foundational tool in the Haskell ecosystem for handling JSON data efficiently. High-performance optimized for real-world workloads. Widely used and well-maintained community library. Compatible with popular frameworks and the Haskell web ecosystem. Easy-to-use API (e.g., FromJSON, ToJSON typeclasses). Fast JSON parsing and serialization.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Archive of Formal Proofs

    Archive of Formal Proofs

    A collection of machine-checkend mathematical proofs

    The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    An interpreter for the Argh! esoteric programming language in wxHaskell. The program allows one to load, edit, save, validate and run Argh! programs. It currently supports all commands except 'e' and 'E'. Documented using Haddock.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21

    Article manager

    A command line tool for articles management.

    A command line tool that allows a semi-automated scientific articles management. It assumes an existence of a directory of a specific format in the file system. The tool interprets the data stored in the directory (called a repository), extend it via the usage of some automatic tools such as pdftotext, and search the text as well as some metadata.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    A compiler which translated AspectFun program into Haskell.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    Asterius

    Asterius

    A Haskell to WebAssembly compiler

    Asterius is a Haskell toolchain that compiles to WebAssembly, enabling Haskell programs to run in the browser and other Wasm hosts. It builds on GHC, lowers Haskell code to WebAssembly modules, and links them with a lightweight JavaScript runtime for I/O, GC interaction, and host integration. The toolchain provides commands to build and link (ahc/ahc-link), bundle assets, and target both browser and Node environments. Interop is a core focus: Haskell functions can call into JavaScript and vice versa, making it feasible to combine Haskell logic with web APIs. Asterius aims to keep as much of Haskell’s runtime model as practical while delivering the portability and startup characteristics of Wasm. By bridging GHC and WebAssembly, it opens a path to reuse Haskell libraries on the client side without switching languages.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    A library to automatically create GUI forms, using WxHaskell and "Scrap Your Boilerplate" generics.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    Brick

    Brick

    A declarative Unix terminal UI library written in Haskell

    Brick is a Haskell terminal user interface (TUI) programming toolkit that enables developers to build rich, responsive terminal applications via a declarative model: you define a pure function that renders the UI from application state and supply state transition logic to handle events. brick exposes a declarative API. Unlike most GUI toolkits which require you to write a long and tedious sequence of widget creations and layout setup, brick just requires you to describe your interface using a set of declarative layout combinators. Event-handling is done by pattern-matching on incoming events and updating your application state. Under the hood, this library builds upon vty, so some knowledge of Vty will be necessary to use this library. Brick depends on vty-crossplatform, so Brick should work anywhere Vty works (Unix and Windows). Brick releases prior to 2.0 only support Unix-based systems.
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB