[go: up one dir, main page]

Open Source Haskell Software for Cygwin

x
Sort By:

Haskell Software for Cygwin

Cygwin Haskell Clear Filters

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

  • Manage your Classes Icon
    Manage your Classes

    For educational organizations looking for a class management software of size of school, academy or studio

    DreamClass helps you efficiently manage all of your processes. Enjoy professional school management for any educational institution, in minutes!
    Learn More
  • We help you deliver Virtual and Hybrid Events using our Award Winning end-to-end Event Management Platform Icon
    We help you deliver Virtual and Hybrid Events using our Award Winning end-to-end Event Management Platform

    Designed by event planners for event planners, the EventsAIR platform gives you the ability to manage your event, conference, meeting or function with

    EventsAIR have been anticipating and responding to the ever-changing event industry needs for over 30 years, providing innovative solutions that empower event organizers to create successful events around the globe.
    Learn More
  • 1

    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
  • 2
    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.
    2 Reviews
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    The Grammatical Framework (GF) is a grammar formalism based on type theory. It consists of a special-purpose programming language, a compiler of the language, and a generic grammar processor.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    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
  • One platform for global hiring and contractor management. Icon
    One platform for global hiring and contractor management.

    For mid-sized companies hiring independent contractors

    TFY unifies applicant tracking, team onboarding, compliance, contractor payments, and billing automation in a single, powerful platform, eliminating the need for multiple disconnected tools.
    Learn More
  • Previous
  • You're on page 1
  • Next

Related Searches