Search Results for "java-ml"

Futhark is a small programming language designed to be compiled into efficient parallel code. It is a statically typed, data-parallel, and purely functional array language in the ML family, and comes with a heavily optimizing ahead-of-time compiler that presently generates either GPU code via CUDA and OpenCL, or multi-threaded CPU code. Futhark is not designed for graphics programming, but can instead use the compute power of the GPU to accelerate data-parallel array computations. The language...

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.

... interoperate with Java. Eta has global type inference, giving you a dynamic language experience, but with a strong typing hidden underneath. Eta offers a wide range of strategies for handling concurrency including Software Transaction Memory (STM), MVars, and Fibers. Using the powerful and type-safe Servant web framework, we define our API as a type and the handler types for each endpoint are automatically generated and conversions happen automatically.

This SourceForge project page is obsolete. Please visit http://www.musicpd.org/

An educational project aimed at illustrating programming language concepts and implementation techniques in different programming languages.

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.

HSPL is Human Speakable Programming Language, allowing for communication between human-to-computer and human-to-human in the same language. This project has moved to http://sourceforge.net/p/spel We are currently working on human-to-computer programming-language with mostly English base vocabulary. Though once we have that, we plan to add support for other world Languages, including Chinese, Spanish, Russian, Arabic, Hindi, among others. Eventually HSPL shall be the foundation of...

A pacman game implementation in scala programming language, a functional language with object-oriented concepts, using concurrency by actors.

The Fluxion framework is a prototype data integration system using Semantic Web technologies.

The triangle peg puzzle is a well known puzzle with 15 holes in a triangle, and 14 pegs. This project consists of solvers for that puzzle in multiple languages, to try to get a feel for each language.

Lsl Plus is an edit/compile/test environment for the Linden Scripting Language (LSL), implemented as an Eclipse plug-in.

powerPlant is a plant modelling tool based on parametric plant descriptions, producing highly detailed models that can be exported to 3ds. Deriving similar plants is a matter of 1 click! Complete scenes can be composited with the integrated scene editor.

Fusion is a powerful high level programming language that merges several feature from Ruby, Python, Java, C++, Visual Basic, etc, in a only language. It's implemented by means of a compiler written in Haskell that generates Ruby code.

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.

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.

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.

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.

Virtual Reality Environment based on Internet to teach Logic and Functional Programming

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.

A bridge to the Java virtual machine via JNI for Haskell (and perhaps later other functional lanaguages).

The Inverse Ocean Model (IOM) is a software system for developing customized data-assimilation systems for numerical ocean models. It has also been used with general purpose hydrodynamic and geodynamic models.