Search Results for "haskell project" - Page 2

Showing 52 open source projects for "haskell project"

View related business solutions
  • SKUDONET Open Source Load Balancer Icon
    SKUDONET Open Source Load Balancer

    Take advantage of Open Source Load Balancer to elevate your business security and IT infrastructure with a custom ADC Solution.

    SKUDONET ADC, operates at the application layer, efficiently distributing network load and application load across multiple servers. This not only enhances the performance of your application but also ensures that your web servers can handle more traffic seamlessly.
  • Top-Rated Free CRM Software Icon
    Top-Rated Free CRM Software

    216,000+ customers in over 135 countries grow their businesses with HubSpot

    HubSpot is an AI-powered customer platform with all the software, integrations, and resources you need to connect your marketing, sales, and customer service. HubSpot's connected platform enables you to grow your business faster by focusing on what matters most: your customers.
  • 1

    AlloyMDA

    MDA support for Alloy

    This project intends to develop tools to enable MDA support for the formal modeling language Alloy.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Human Speakable Programming Language

    Human Speakable Programming Language

    foundation of the General Intelligence Operating System

    HSPL is Human Speakable Programming Language, allowing for communication between human-to-computer and human-to-human in the same language. This project has moved to http://sourceforge.net/p/spel We are currently working on human-to-computer programming-language with mostly English base vocabulary. Though once we have that, we plan to add support for other world Languages, including Chinese, Spanish, Russian, Arabic, Hindi, among others. Eventually HSPL shall be the foundation of GIOS...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    I developed a Graphical User Interface in Haskell for the underlying library. It is a basic graph editor. We used this module internally for the development of our project. Later on as this tool helped us a lot to ?gure out several bugs inside our code- work, we thought that it is worth a mention.This tool is built upon GTK+ and Graphviz. GTK+ (GIMP Toolkit) is a cross-platform widget toolkit for creating graphical user interfaces. (ref: Wikipedia) It is also the fundamental user interface...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    This project has been moved to github. See the updated homepage.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Speech-to-Text: Automatic Speech Recognition Icon
    Speech-to-Text: Automatic Speech Recognition

    Accurately convert voice to text in over 125 languages and variants by applying Google's powerful machine learning models with an easy-to-use API.

    New customers get $300 in free credits to spend on Speech-to-Text. All customers get 60 minutes for transcribing and analyzing audio free per month, not charged against your credits.
  • 5
    Partito Pirata

    Partito Pirata

    sourcecode of the Partito Pirata project

    This project is related to the Partito Pirata source code issueHere we host the development and sharing of the source code of the production into the Partito Pirata project. Every single bit in terms of information and source code will be available here for free
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    This is a set of scripts for Project Management implemented in Haskell
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    A small command-line calculator, written in Haskell, that takes input like "14+(12+24)/(8.5-2.5)" and prints out the result. It's nothing special really, just a little project I did to learn Haskell.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    The triangle peg puzzle is a well known puzzle with 15 holes in a triangle, and 14 pegs. This project consists of solvers for that puzzle in multiple languages, to try to get a feel for each language.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    University project to implement a turtle graphics based programming language in Haskell.
    Downloads: 0 This Week
    Last Update:
    See Project
  • The Secure Workspace for Remote Work Icon
    The Secure Workspace for Remote Work

    Venn isolates and protects work from any personal use on the same computer, whether BYO or company issued.

    Venn is a secure workspace for remote work that isolates and protects work from any personal use on the same computer. Work lives in a secure local enclave that is company controlled, where all data is encrypted and access is managed. Within the enclave – visually indicated by the Blue Border around these applications – business activity is walled off from anything that happens on the personal side. As a result, work and personal uses can now safely coexist on the same computer.
  • 10
    this project provides a Glue to Access GOFER Functionality through C and Python. Gofer ("Good For Equational Reasoning") is an implementation of the programming language Haskell intended for educational purposes and supporting a language based
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    The aim of QuantHas is to produce a port of the QuantLib C++ project for quantitative finance in the Haskell functional programming language. please visit our project home page for more details.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    The aim of this project is to create a typesystem like haskell, which aids the developer by preventing type-related bugs. This project will help simplify the typesystem of javascript it by making it more strict.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    powerPlant is a plant modelling tool based on parametric plant descriptions, producing highly detailed models that can be exported to 3ds. Deriving similar plants is a matter of 1 click! Complete scenes can be composited with the integrated scene editor.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 14
    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
  • 15
    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: 0 This Week
    Last Update:
    See Project
  • 16
    This project will develop a set of Semantic Web Libraries implemented in declarative languages like Haskell or Curry.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    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: 0 This Week
    Last Update:
    See Project
  • 18
    This project will develop a set of Semantic Web Libraries implemented in declarative languages like Haskell or Curry.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Experimental compiler for an extended version of the Curry programming language
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Haskell User-Submitted Libraries includes anything we can get our hands on and clean up for general use, as well as new libraries that would be useful to the general Haskell community. Submit your libs, or join the project to create needed libs!
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    The project aims to implement the concept of cellular automatons in the functional language Haskell. It features the "classical" threshold-based generation rules (yes, you CAN play "Game of Life" with it), but as well all other cellular automaton rule
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    This project is intended as a case ctudy for application servers based on Haskell.Haskell is used for most of the functionality plus a small amount of very generic XSL for HTML-Generation. Session management is done using Apache Tomcat. Development is
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    The project is an implementation of DSP and related algorithms in the programming language Haskell.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24

    hAthena

    Game emulator written in Haskell.

    hAthena Description This is a project to test how well Haskell fits a production based server. This is by no means an alternative to rAthena and will not aim to be. Key features by using functional programming: - Concurrency and Parallelism The server will spawn a light thread per client connected and script executed. - STM Memory is easy to share over all the threads, easy to keep apart and when needed to switch between the both. - Strict typesystem You can't send the wrong information...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    MyOfficeState

    MyOfficeState

    My Office State is a software for keeping track of your colleagues

    My Office State is a software for keeping track of your colleagues and/or friends state. Can I disturb? The abbreviation, or My Office State shortening is: MOS. Pronounced as the animal moose and that is the reason for the look of the logotype. My Office State is an open source project and is delivered under the "General Public Licence 3", GPL3 or later. Project is written in haskell and gtk2hs. More information about haskell: https://www.haskell.org More information about gtk2hs: http...
    Downloads: 0 This Week
    Last Update:
    See Project