Run applications fast and securely in a fully managed environment
Cloud Run is a fully-managed compute platform that lets you run your code in a container directly on top of scalable infrastructure.
Run frontend and backend services, batch jobs, deploy websites and applications, and queue processing workloads without the need to manage infrastructure.
Try for free
Comet Backup - Fast, Secure Backup Software for MSPs
Fast, Secure Backup Software for Businesses and IT Providers
Comet is a flexible backup platform, giving you total control over your backup environment and storage destinations.
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.
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/
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.
Plan smart spaces, connect teams, manage assets, and get insights with the leading AI-powered operating system for the built world.
By combining AI workflows, predictive intelligence, and automated insights, OfficeSpace gives leaders a complete view of how their spaces are used and how people work. Facilities, IT, HR, and Real Estate teams use OfficeSpace to optimize space utilization, enhance employee experience, and reduce portfolio costs with precision.
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.
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.
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.
Iris Powered By Generali - Iris puts your customer in control of their identity.
Increase customer and employee retention by offering Onwatch identity protection today.
Iris Identity Protection API sends identity monitoring and alerts data into your existing digital environment – an ideal solution for businesses that are looking to offer their customers identity protection services without having to build a new product or app from scratch.
An interpreter for the Argh! esoteric programming language in wxHaskell. The program allows one to load, edit, save, validate and run Argh! programs. It currently supports all commands except 'e' and 'E'. Documented using Haddock.
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.
Eve is intended to be a Haskell-derived language with more familiar (Python/Rubyish) syntax. Short term, think of it as a gateway drug to Haskell for Python/Ruby programmers. Long-term, it's intended to be a practical (DB/webapp/GUI-enabled) Haskell.
This library for the Haskell programming language provides Video4Linux2 (V4L2) frame grabber operation functions. Requires GHC (Glasgow Haskell Compiler) and Linux kernel 2.6 header files.
A programming language designed for searching and manipulating tree-structured data, particularly corpora of natural languages encoded in an s-expression-like format.
DebToo - Debian powered from source. Portage-like configurability brought into Debian with the goodies known to Gentoo users: USE flags, optimised packages, hand picked patches, fine grained tweaking performance, inherted configurations.
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.