[go: up one dir, main page]

Open Source Haskell Software

x
Sort By:

Haskell Software

Haskell C Clear Filters

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

  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • The AI workplace management platform Icon
    The AI workplace management platform

    Plan smart spaces, connect teams, manage assets, and get insights with the leading AI-powered operating system for the built world.

    By combining AI workflows, predictive intelligence, and automated insights, OfficeSpace gives leaders a complete view of how their spaces are used and how people work. Facilities, IT, HR, and Real Estate teams use OfficeSpace to optimize space utilization, enhance employee experience, and reduce portfolio costs with precision.
    Learn More
  • 1
    This SourceForge project page is obsolete. Please visit http://www.musicpd.org/
    4 Reviews
    Downloads: 8 This Week
    Last Update:
    See Project
  • 2

    AlgVar

    Algorithmic Variations

    An educational project aimed at illustrating programming language concepts and implementation techniques in different programming languages.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    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.
    1 Review
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    The Dolphin Project is intended to be a research project aggregating tools related to Open Source Satisfiability Solver tools and tools related to them like Bounded Model Checkers and Software Verifiers.
    Downloads: 0 This Week
    Last Update:
    See Project
  • AI-based, Comprehensive Service Management for Businesses and IT Providers Icon
    AI-based, Comprehensive Service Management for Businesses and IT Providers

    Modular solutions for change management, asset management and more

    ChangeGear provides IT staff with the functions required to manage everything from ticketing to incident, change and asset management and more. ChangeGear includes a virtual agent, self-service portals and AI-based features to support analyst and end user productivity.
    Learn More
  • 5
    A collection of general or specific tools created in the process of creating other, larger programs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    HSDL is a Haskell binding to the well known Simple Directmedia Layer (SDL) library including bindings to SDL_gfx, SDL_image and SDL_ttf.
    1 Review
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    A portable library for manipulating data disks created with the Roland SP-808 Groove Sampler / E-Mix Studio. A command-based shell ("vs2") to provide a user interface on libvs2. Possibly a graphics interface ("gvs2") as well.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8

    TheSLinux

    A Linux distro for Vietnamese

    TheSLinux is a Linux distribution that primarily focuses on the Vietnamese users. This distro aims to be fully qualified open source distribution in Vietnam. The first generation is based on ArchLinux.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    This library for the Haskell programming language provides Video4Linux2 (V4L2) frame grabber operation functions. Requires GHC (Glasgow Haskell Compiler) and Linux kernel 2.6 header files.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Dominate AI Search Results Icon
    Dominate AI Search Results

    Generative Al is shaping brand discovery. AthenaHQ ensures your brand leads the conversation.

    AthenaHQ is a cutting-edge platform for Generative Engine Optimization (GEO), designed to help brands optimize their visibility and performance across AI-driven search platforms like ChatGPT, Google AI, and more.
    Learn More
  • 10
    A set of command-line utilities for annotating and manipulating DNA sequences in FASTA format. Generate restriction fragments, ORF's, translations, reverse complement, etc. . - and tie it all together with Unix pipes for complete virtual cloning.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Kaya: A statically typed, imperative cross-platform programming language with type inference, powerful data description capabilities and built-in abstractions and libraries for easy and robust web application development. http://kayalang.org/
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12

    ordinals

    Collection of scripts for transfinite ordinals computations

    Collection of scripts for transfinite ordinals computations
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13

    proof-logic

    Proof Logic : A logical framework for theorem proving

    Proof Logic is a functional and equational logical framework for theorem proving based on Combinatory Logic and Lambda Calculus, whose expressions are both terms and proofs proving the equality between two terms.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14

    startrails

    open game world to be set in a realistic environment

    Discover a huge fictional game world and supply resources for its exploration. Unleash mysterious secrets or just race through the hills. This software is under development and thus neither complete nor bug-free. However, fun can occasionally be had.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next

Related Searches