[go: up one dir, main page]

Showing 18 open source projects for "platform"

View related business solutions
  • Gen AI apps are built with MongoDB Atlas Icon
    Gen AI apps are built with MongoDB Atlas

    The database for AI-powered applications.

    MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.
    Start Free
  • Do not waste time with spreadsheets Icon
    Do not waste time with spreadsheets

    Connect to common Project Management tools such as Jira, Smartsheet, Asana, Wrike, Monday.com, and others.

    Acuity PPM provides Senior Leaders and Project Management Teams (PMO's) with lightweight and easy-to-use software to manage the project portfolio. Acuity PPM helps you create and evaluate new project requests through prioritization, financial planning and resource management.
    Learn More
  • 1
    Reflex Platform

    Reflex Platform

    A curated package set and set of tools that let you build Haskell

    Reflex Platform is a curated package set and set of tools that let you build Haskell packages so they can run on a variety of platforms. Reflex Platform is built on top of the nix package manager. The core packages in Reflex Platform are known to work together and are tested together. the core packages in Reflex Platform are cached so you can download prebuilt binaries from the public cache instead of building from scratch.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 2
    Kmonad

    Kmonad

    An advanced keyboard manager

    KMonad is a cross-platform, advanced keyboard remapping tool written in Haskell. It provides low-level key control, supporting layers, tap-hold combos, multi-tap, macros, and more—even for keyboards without firmware-level customization.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 3
    Reflex

    Reflex

    Interactive programs without callbacks or side-effects

    ...The modularity of Reflex lets you iterate quickly, without wasting code. Reflex has been built to seamlessly support interfaces on desktop, mobile, web, and other platforms, all in Haskell. Regardless of your platform needs, Reflex lets you take your team and your code with you. Reflex is the key to writing self-updating user interfaces. Develop efficiently no matter how many times you pivot. One team, one code base, every platform. You don’t have to choose between building quickly or sustainably anymore. Reflex-FRP allows you to write production quality code from the get-go, with less technical debt.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 4
    SimpleX

    SimpleX

    The first messaging platform operating without user identifiers

    Other apps have user IDs: Signal, Matrix, Session, Briar, Jami, Cwtch, etc. SimpleX does not, not even random numbers. This radically improves your privacy. The video shows how you connect to your friend via their 1-time QR-code, in person or via a video link. You can also connect by sharing an invitation link. Temporary anonymous pairwise identifiers SimpleX uses temporary anonymous pairwise addresses and credentials for each user contact or group member. It allows to deliver messages...
    Downloads: 53 This Week
    Last Update:
    See Project
  • Free Website Monitoring Service | UptimeRobot Icon
    Free Website Monitoring Service | UptimeRobot

    The free online uptime monitoring service with an App is available for iOS and Android.

    With the Free Plan, you can monitor up to 50 URLs, check for a website's content (using the keyword monitor), ping your server or monitor your ports in 5-minute intervals. You can create a status page to showcase your uptime. SMS or Call alerts can be bought anytime.
    Learn More
  • 5
    directory

    directory

    Platform-independent library for basic file system operations

    Documentation can be found on Hackage. Changes between versions are recorded in the change log. When building this package directly from the Git repository, one must run autoreconf -fi to generate the configure script needed by cabal configure. This requires Autoconf to be installed.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Stack

    Stack

    The Haskell Tool Stack

    Stack is a cross-platform build tool for Haskell projects that simplifies dependency management, project setup, and reproducible builds. It provides curated package sets (Stackage), isolated project environments, and consistent tooling for compiling and testing Haskell applications. Stack streamlines workflows for developers by automating many parts of the Haskell toolchain, making it easier to get started and maintain complex codebases.
    Downloads: 8 This Week
    Last Update:
    See Project
  • 7
    Cardano Node

    Cardano Node

    The core component that is used to participate in a Cardano

    Cardano Node is the core software that powers the Cardano blockchain, a decentralized, proof-of-stake platform for smart contracts and digital assets. Developed in Haskell, the node allows participation in Cardano’s network by validating transactions, producing blocks, and maintaining the ledger. It supports Shelley, Goguen, Basho, and other phases of Cardano’s roadmap, and plays a crucial role in network security and consensus. The node is configurable for different use cases, including running full nodes, relay nodes, or stake pool operators.
    Downloads: 7 This Week
    Last Update:
    See Project
  • 8
    Plutus

    Plutus

    The Plutus language implementation and tools

    Plutus is the smart contract development framework for the Cardano blockchain, created using Haskell. It provides the core infrastructure for writing, testing, and deploying secure, deterministic smart contracts on the Cardano platform. Plutus includes a custom functional language (Plutus Core), a higher-level embedded DSL (Plutus Tx) for writing contracts in Haskell, and an off-chain infrastructure for managing interactions. It ensures strong correctness guarantees through formal verification and functional programming paradigms.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Hasktorch

    Hasktorch

    Tensors and neural networks in Haskell

    Hasktorch is a powerful Haskell library for tensor computation and neural network modeling, built on top of libtorch (the backend of PyTorch). It brings differentiable programming, automatic differentiation, and efficient tensor operations into Haskell’s strongly typed functional paradigm. This project is in active development, so expect changes to the library API as it evolves. We would like to invite new users to join our Hasktorch discord space for questions and discussions....
    Downloads: 0 This Week
    Last Update:
    See Project
  • Safetica Data Loss Prevention Software for Businesses Icon
    Safetica Data Loss Prevention Software for Businesses

    For companies that want to protect their sensitive data against leakages, insider threats and want to be compliant with regulations.

    Safetica is a cost-effective, easy-to-use Data Loss Prevention (DLP) solution. It performs security audits, prevents sensitive data from leaving your company, and sheds light on what is going on in your organization.
    Learn More
  • 10
    Cabal

    Cabal

    Upstream development repository for Cabal and cabal-install

    ...The term cabal can refer to either: cabal-the-spec (.cabal files), cabal-the-library (code that understands .cabal files), or cabal-the-tool (the cabal-install package which provides the cabal executable); usually folks are referring to cabal-the-tool when they say cabal. To install the cabal executable you can use ghcup (if you're using Linux), the Haskell Platform, install the cabal-install package from your distributions package manager (if using Linux or Mac), or download the source or prebuilt binary from the Download page.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    CodeWorld

    CodeWorld

    Educational computer programming environment using Haskell

    ...Its API emphasizes mathematics and geometry rather than low-level UI details, making it approachable for classrooms and self-learners. Projects run in the browser, leveraging a compiler pipeline that turns the high-level code into JavaScript so no installation is required. The platform includes project management, sharing, and classroom features so instructors can distribute examples and students can submit work. By constraining the language surface and curating libraries, CodeWorld balances the expressive power of functional programming with the simplicity needed for first-time programmers.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12

    alphabit.org

    Public files of alphabit.org domain

    for now used as testing platform to get acquainted with git. eventually will contain source files and examples on the usage and customization of the code crafting tools being developed at alphabit.org domain... 1 . web server (nodejs), to share bits our way... the highway was too dangerous and inadequate. 2. window manager (xmonad), to enjoy work... as we are at it. 3. yet another new programming language (javascript), it does not yet exists and we would like to try it. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    GHC (Glasgow Haskell Compiler)

    GHC (Glasgow Haskell Compiler)

    Mirror of the Glasgow Haskell Compiler

    GHC (Glasgow Haskell Compiler) is the leading open-source compiler and interactive environment for the Haskell programming language, supporting the Haskell 2010 standard plus numerous language extensions. It compiles to native machine code (via LLVM or C), and includes the interactive GHCi REPL. For full information on building GHC, see the GHC Building Guide. Here follows a summary - if you get into trouble, the Building Guide has all the answers. For building library documentation, you'll...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 14

    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: 0 This Week
    Last Update:
    See Project
  • 15
    PortFusion

    PortFusion

    Distributed reverse / forward proxy and tunneling solution for TCP.

    PortFusion is a minimalistic, cross-platform, transport-layer distributed reverse / forward proxy for TCP written in Haskell + LLVM and released under GPLv3. A single package that makes the most of each platform by tapping into their unique capabilities, combining this power with an intuitive interface, beautiful design and Haskell's excellent support for unprecedented levels of concurrency and parallelism.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 16
    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
  • 17
    JHaskell provides a Haskell interpreter and compiler for the JVM. The goal is to make Haskell a viable language for development for the Java platform and also to allow existing Haskell programs to run on the JVM.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    A cross-platform unit testing framework for C++.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next