Showing 20 open source projects for "x-12arima"

View related business solutions
  • Trumba is an All-in-one Calendar Management and Event Registration platform Icon
    Publish, promote and track your events more affordably and effectively—all in one place.
  • Control remote support software for remote workers and IT teams Icon
    Control remote support software for remote workers and IT teams

    Raise the bar for remote support and reduce customer downtime.

    ConnectWise ScreenConnect, formerly ConnectWise Control, is a remote support solution for Managed Service Providers (MSP), Value Added Resellers (VAR), internal IT teams, and managed security providers. Fast, reliable, secure, and simple to use, ConnectWise ScreenConnect helps businesses solve their customers' issues faster from any location. The platform features remote support, remote access, remote meeting, customization, and integrations with leading business tools.
  • 1
    dhall-haskell

    dhall-haskell

    Maintainable configuration files

    Maintainable configuration files. Navigate to each package's directory for their respective READMEs. You can download pre-built binaries for Windows, OS X and Linux on the release page. You can then click the "Help" button in the bottom right corner, which will show you a nix-env command that you can run to install the prebuilt executable. You will probably want to use the shared caches hosted at cache.dhall-lang.org and dhall.cachix.org when doing Nix development. This is not required...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 2

    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. more...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    turtle

    turtle

    Shell programming, Haskell style

    Turtle is a reimplementation of the Unix command line environment in Haskell so that you can use Haskell as a scripting language or a shell. Think of turtle as coreutils embedded within the Haskell language. The turtle library focuses on being a "better Bash" by providing a typed and light-weight shell scripting experience embedded within the Haskell language. If you have a large shell script that is difficult to maintain, consider translating it to a "turtle script" (i.e. a Haskell script...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Holistically view your business data within a single solution. Icon
    Holistically view your business data within a single solution.

    For IT service providers and MSPs that need a data platform to manage their processes

    BrightGauge, a ConnectWise solution, was started in 2011 to fill a missing need in the small-to-medium IT Services industry: a better way to manage data and provide the value of work to clients. BrightGauge Software allows you to display all of your important business metrics in one place through the use of gauges, dashboards, and client reports. Used by more than 1,800 companies worldwide, BrightGauge integrates with popular business solutions on the market, like ConnectWise, Continuum, Webroot, QuickBooks, Datto, IT Glue, Zendesk, Harvest, Smileback, and so many more. Dig deeper into your data by adding, subtracting, multiplying, and dividing one metric against another. BrightGauge automatically computes these formulas for you. Want to show your prospects how quick you are to respond to tickets? Show off your data with embeddable gauges on public sites.
  • 5
    jl

    jl

    Functional sed for JSON

    jl ("JSON lambda") is a tiny functional language for querying and manipulating JSON.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Haste

    Haste

    A GHC-based Haskell to JavaScript compiler

    A compiler to generate JavaScript code from Haskell. It even has a website and a mailing list. Seamless, type-safe single program framework for client-server communication. Support for modern web technologies such as WebSockets, WebStorage and Canvas. Simple JavaScript interoperability. Generates small, fast programs. Supports all GHC extensions except Template Haskell. Uses standard Haskell libraries. Cabal integration, simple, one-step build; no need for error prone Rube Goldberg machines...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    This SourceForge project page is obsolete. Please visit http://www.musicpd.org/
    Downloads: 4 This Week
    Last Update:
    See Project
  • 8
    We extend the Eclipse IDE with tools for development in Haskell, a functional programming language, providing support for a wide range of tools (compilers, interpreters, doc tools etc.) in a coherent, convenient and configurable environment.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 9
    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. It strives for the smallest source code size (< 500 lines) while delivering...
    Downloads: 8 This Week
    Last Update:
    See Project
  • RMM Software | Remote Monitoring Platform and Tools Icon
    RMM Software | Remote Monitoring Platform and Tools

    Best-in-class automation, scalability, and single-pane IT management.

    Don’t settle when it comes to managing your clients’ IT infrastructure. Exceed their expectations with ConnectWise RMM, our MSP RMM software that provides proactive tools and NOC services—regardless of device environment. With the number of new vulnerabilities rising each year, smart patching procedures have never been more important. We automatically test and deploy patches when they are viable and restrict patches that are harmful. Get better protection for clients while you spend less time managing endpoints and more time growing your business. It’s tough to locate, afford, and retain quality talent. In fact, 81% of IT leaders say it’s hard to find the recruits they need. Add ConnectWise RMM, NOC services and get the expertise and problem resolution you need to become the advisor your clients demand—without adding headcount.
  • 10
    It is a Stunts 4D Driving remake with high quality graphics and physics simualtion.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Converts files from Garmin(R)'s IMG file format to GMAPI file format.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    A wrapper around Gtk+ 2.x for the functional language Haskell featuring full memory management, Unicode awareness and of course the new features of Gtk2.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 13
    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: 1 This Week
    Last Update:
    See Project
  • 14
    Haskell Toolkit for GUI. HSQL has moved to http://code.haskell.org/HSQL/
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    A Haskell to Objective-C binding. Allows access to Apple's Cocoa API from the non-strict functional programming language Haskell.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    haIDE is a GUI-based Haskell IDE written in Haskell using gtk. It does not include an editor but instead interfaces with NEdit, vim or GNU emacs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    xmonad is a tiling window manager for X11. Windows are arranged automatically to tile the screen without gaps or overlap, maximising screen use. Window manager features are accessible from the keyboard: a mouse is optional. The official site is http://xm
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    This is an implementation of the famous mastermind game written in the purely functional language Haskell. This is a console version, which have the ability for features to be added on top, such s a GUI, extra features and more...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    A Linux distribution based on ArchLinux. The first generation is for Vietnamese and by Vietnamese
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    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
  • Previous
  • You're on page 1
  • Next