Search Results for "mac" - Page 7
Sort By:
Showing 181 open source projects for "mac"
View related business solutions-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
1
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.
-
2
-
3
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.
-
4
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.
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
5
This project will develop a set of Semantic Web Libraries implemented in declarative languages like Haskell or Curry.
-
6
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.
-
7
-
8
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.
-
9
-
MongoDB Atlas runs apps anywhereMongoDB 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.
-
10
-
11
Functional Networked Integrated Environment (FUNNIE) is a networked CSCW programming environment specifically tuned to the needs of students and instructors, based on a subset of Haskell.
-
12
A programming language designed for searching and manipulating tree-structured data, particularly corpora of natural languages encoded in an s-expression-like format.
-
13
-
14
-
15
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.
-
16
-
17
HSDL is a Haskell binding to the well known Simple Directmedia Layer (SDL) library including bindings to SDL_gfx, SDL_image and SDL_ttf.
-
18
-
19
-
20
-
21
Seaweed is a library for the functional programming language Haskell. The current focus of this library is on XML, and the internet. The Haskell Web Publisher (http://hwp.sourceforge.net/) is based on Seaweed.
-
22
A Haskell to Objective-C binding. Allows access to Apple's Cocoa API from the non-strict functional programming language Haskell.
-
23
-
24
The Haskell Web Publisher shall allow website implementation using the functional programming language Haskell. Thereby, accuracy of URIs, data validity, and compliance to security restrictions shall be assured by compiler checks.
-
25
A beginners' level theorem prover project for logic students. Okitsune is written in Haskell and open for contributions.
