Search Results for "haskell project" - Page 2

Showing 54 open source projects for "haskell project"

View related business solutions
  • Full-stack observability with actually useful AI | Grafana Cloud Icon
    Full-stack observability with actually useful AI | Grafana Cloud

    Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

    Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
    Create free account
  • $300 in Free Credit Towards Top Cloud Services Icon
    $300 in Free Credit Towards Top Cloud Services

    Build VMs, containers, AI, databases, storage—all in one place.

    Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
    Get Started
  • 1
    Haskell IDE Engine (HIE)

    Haskell IDE Engine (HIE)

    The engine for haskell ide-integration. Not an IDE

    This project aims to be the universal interface to a growing number of Haskell tools, providing a fully-featured Language Server Protocol server for editors and IDEs that require Haskell-specific functionality. Supports plain GHC projects, cabal projects(sandboxed and non sandboxed) and stack projects. Fast due to caching of compile info. Uses LSP, so should be easy to integrate with a wide selection of editors.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Semantic

    Semantic

    Parsing, analyzing, and comparing source code across many languages

    ...This is the format that github.com uses to generate code navigation information allowing c-tags style lookup of symbolic names for fast, incremental navigation in all the supported languages. The incremental part is important because files change often so we want to be able to parse just what's changed and not have to analyze the entire project again.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Toodles

    Toodles

    Project management directly from the TODOs in your codebase

    Toodles is a dead-simple, self-hosted web-based to-do list application that scans your codebase for TODO comments and displays them in a clean dashboard. It helps developers keep track of pending work scattered across files, making it easier to manage technical debt and pending improvements.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    HaLVM

    HaLVM

    The Haskell Lightweight Virtual Machine (HaLVM)

    HaLVM is a Haskell-based unikernel system that lets you write entire virtual machines in Haskell and run them directly on a hypervisor, traditionally Xen. Instead of deploying a full operating system, you compile a Haskell program into a tiny image that boots as its own VM, which reduces the attack surface and startup time. The project adapts GHC and the Haskell runtime to a minimal environment, providing the I/O, networking, and memory facilities necessary for standalone services. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • AI-generated apps that pass security review Icon
    AI-generated apps that pass security review

    Stop waiting on engineering. Build production-ready internal tools with AI—on your company data, in your cloud.

    Retool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
    Try Retool free
  • 5
    Kaleidoscope

    Kaleidoscope

    Haskell LLVM JIT Compiler Tutorial

    ...Because it uses Haskell idioms, the code clearly separates pure syntax handling from effectful JIT operations, making the architecture easy to reason about. The examples double as a hands-on introduction to LLVM’s APIs without drowning you in infrastructure. As a result, the project is both a compact compiler course and a practical template for experimenting with language design in Haskell.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    This SourceForge project page is obsolete. Please visit http://www.musicpd.org/
    Downloads: 5 This Week
    Last Update:
    See Project
  • 7
    IHaskell

    IHaskell

    A Haskell kernel for the Jupyter project

    IHaskell is a kernel for the Jupyter project, which allows you to use Haskell inside Jupyter frontends (including the console and notebook). It currently supports GHC 8.0 through 9.0. For GHC 7.10 support please use the GHC7 tag. For a tour of some IHaskell features, check out the demo Notebook. More example notebooks are available on the wiki. The wiki also has more extensive documentation of IHaskell features.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    wxHaskell

    wxHaskell

    A Haskell binding to wxWidgets

    The wxHaskell project implements a binding from the portable GUI library wxWidgets to Haskell.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9

    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
  • Go From AI Idea to AI App Fast Icon
    Go From AI Idea to AI App Fast

    One platform to build, fine-tune, and deploy ML models. No MLOps team required.

    Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
    Try Free
  • 10

    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
  • 11
    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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    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
  • 13
    This is a set of scripts for Project Management implemented in Haskell
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    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
  • 15
    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
  • 16
    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
  • 17
    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
  • 18
    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: 0 This Week
    Last Update:
    See Project
  • 19
    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
  • 20
    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
  • 21
    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
  • 22
    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
  • 23
    Experimental compiler for an extended version of the Curry programming language
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    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
  • 25
    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
MongoDB Logo MongoDB