Search Results for "ocaml"

...Implemented in pure C language, with lightweight bindings for D, Clojure, F#, Common Lisp, Visual Basic, PHP, PowerShell, Emacs, Haskell, Perl, Python, Ruby, C#, NodeJS, Java, GO, C++, OCaml, Lua, Rust, Delphi, Free Pascal & Vala (ready either in main code, or provided externally by the community).

...SWIG is used with different types of target languages including common scripting languages such as Javascript, Perl, PHP, Python, Tcl and Ruby. The list of supported languages also includes non-scripting languages such as C#, D, Go language, Java, Lua, OCaml, Octave, R and Scilab as well as the Guile implementation of the Scheme language. SWIG is most commonly used to create high-level interpreted or compiled programming environments, user interfaces, and as a tool for testing and prototyping C/C++ software. SWIG is typically used to parse C/C++ interfaces and generate the 'glue code' required for the above target languages to call into the C/C++ code. ...

...CloudI provides scaling for previously unscalable source code with efficient fault-tolerant execution of ATS, C/C++, Erlang/Elixir, Go, Haskell, Java, JavaScript/node.js, OCaml, Perl, PHP, Python, Ruby, or Rust services. The bare essentials for efficient fault-tolerant processing on a cloud!

ParTools allows the interactive analysis of a C program execution profile and data dependencies to facilitate the discovery and selection of suitable parallelization candidates in a manual parallelization process. The flow does not assume any specific parallelization technique, thus it can be broadly applied. The original (serial) C source is automatically annotated to trace the execution profile and data dependencies at run-time. The annotated program is then executed using a...

THE STP CODE HAS MOVED TO GITHUB. THE CODE HERE IS STALE. PLEASE CHECKOUT THE FOLLOWING WEBSITE: http://stp.github.io/

A modest extension to C, XMTC allows representing parallel (PRAM) algorithms as parallel programs, and run XMTC code using a compiler and cycle accurate simulator of the University of Maryland explicit multi-threaded (XMT) many-core architecture.

The CodeTime platform covers every aspect of parallel software from authoring, through distribution, to run-time. Its goals are: high programmer productivity; write once, run high performance anywhere; and wide acceptance.

The MyNOS project aims at developing a new and different operating system, based on high-level languages. MyNOS will be based on the OCaml bytecode interpreter. We'd like to explore microkernel architecture and new language definition too.

This project aims to develop a prototype system that explores how we should re-invision computer system design based on changes in how people get the software that they run, as well as advances in static analysis of software.

The Virtual Laboratory for Earth and Planetary Materials (VLab) collaborative GRID-based environment. Concentrating on scientific computation workflows and auto-generation of visualization services. http://vlab.msi.umn.edu

This is a port of the Dis virtual machine system to POSIX-compatible operating systems, based on the original Inferno sources, including a Limbo compiler. The port is intended to make the virtual machine and runtime environment more general and easily ex

VSGE is a platform-independent, "very simple" game engine based on the SDL and OpenGL libraries. Using unorthodox technologies when appropriate, it strives to make developing non-trivial games simple and fun.

Jekyll is a high level programming language that can be translated to and from readable, editable C, thus allowing it to be used in C projects.

banshee-- A toolkit for building constraint-based program analyses

Data Structure Tester is an OCaml application for multiple testing of various data structures (also written in other lanages, like C or C++).It proviedes many examples to test, easily configurable tester and signatures for all data structers to be tested.

This project is a lightweight server written in Ocaml for highly interactive webpages or even online browser based games. The server can already be used as a fast frontend to a MySQL database. The software should work on *nix and windows.

ManTa is an equational specification language and tools to support it: theorem prover, code generators (C and Ocaml), frontends.

Objective Caml library over Oracle OCI8, with some higher level features.