Showing 44 open source projects for "linux desktop"

View related business solutions
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon
    Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

    General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

    Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
    Try Free
  • 1
    Hpylos is an AI of Pylos, a board strategy game for two players. Written in Haskell, uses OpenGL and provides with couple algorithms. User interface allows playing a game against computer, observing two algorithms playing or two humans play.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    The SpindleCAD is a machine-tool spindle design software. It helps engineers check properties of finished construction and optimize construction with respect to precision and productivity.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Foo (abbreviation from football) is a playing machine of Paper Soccer, a pencil and paper game for two players, described in WIKIPEDIA. Written in Haskell, contains also simply interface using HOpenGL library. Provides bunch of playing algorithms.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    DRM (Degital Rights Management) for people - Derivative Works with Creative Commons License Works.
    Downloads: 1 This Week
    Last Update:
    See Project
  • Cut Data Warehouse Costs by 54% Icon
    Cut Data Warehouse Costs by 54%

    Easily migrate from Snowflake, Redshift, or Databricks with free tools.

    BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
    Try Free
  • 5
    PocketGames aims to provide an extended library for several games, so that they can be used with PocketPC, Linux, Windows Mobile, Web Based systems, Windows, etc.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    A Unix desktop environment, using multi-processing as the principle method of program partitioning and built around the everything-is-a-file assumption, with scripting using the programming language Haskell.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    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
  • 8
    Some card game... it's may be interested!
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Haskell Toolkit for GUI. HSQL has moved to http://code.haskell.org/HSQL/
    Downloads: 0 This Week
    Last Update:
    See Project
  • Go from Code to Production URL in Seconds Icon
    Go from Code to Production URL in Seconds

    Cloud Run deploys apps in any language instantly. Scales to zero. Pay only when code runs.

    Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
    Try it free
  • 10
    Virtual Reality Environment based on Internet to teach Logic and Functional Programming
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Here we have fun developing software related to embedded extension languages and small languages in many application domains, using existing languages and/or creating new ones.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    HaskellDB is a Haskell library for expressing database queries and operations in a type safe and declarative way.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    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
  • 14
    A beginners' level theorem prover project for logic students. Okitsune is written in Haskell and open for contributions.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    A compiler which translated AspectFun program into Haskell.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16

    TheSLinux

    A Linux distro for Vietnamese

    TheSLinux is a Linux distribution that primarily focuses on the Vietnamese users. This distro aims to be fully qualified open source distribution in Vietnam. The first generation is based on ArchLinux.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    Random Password Generator written in Haskell. It provides easy command-line interface for generating passwords. Options include: number of passwords, random password length, allowed characters.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    ZhDict provides command-line tools to aid English speakers in reading and understanding Chinese texts.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    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