Search Results for "ml-so1v"

MLton is a whole-program optimizing compiler for Standard ML. MLton generates small executables with excellent runtime performance, utilizing untagged and unboxed native integers, reals, and words, unboxed native arrays, fast arbitrary-precision arithmetic based on GnuMP, and multiple code generation and garbage collection strategies. In addition, MLton provides a feature rich Standard ML programming environment, with full support for SML97 as given in The Definition of Standard ML (Revised), a number of useful language extensions, a complete implementation of the Standard ML Basis Library, various useful libraries, a simple and fast C foreign function interface, the ML Basis system for programming with source libraries, and tools such as a lexer generator, a parser generator, and a profiler.

*** Moved to http://github.com/esumii/min-caml *** MinCaml: An educational compiler from a tiny ML subset to the SPARC or PowerPC assembly language; Only 2000 lines of Objective Caml, but almost as efficient as---or even more efficient than---OCaml and GCC!

Standard ML of Sønder Tranders.

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.

The Ivory Programming Language: A modern language for systems programming

hazel aims to be a practical programming language for development of large software projects. Its application domain is similar to that of C++. Its syntax is similar to that of C.

Tools for developing dynamic web sites using the Standard ML programming language, including all the software you need to create PHP-style web sites with type-safe, statically checked page generation

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.

Objective Caml (OCaml) Elipse Plug-In

C-Prime, or C' in abbreviation, is simply an attempt to add some fun and modern features to C without sacrificing speed or power. We intend to make "down and dirty programming" a "more enjoyable" experience.

Starlang is a simple byte-compiled imperative programming language.

The Abstract Syntax Description Lanuguage (ASDL) is a language designed to describe the tree-like data structures in compilers. Its main goal is to provide a method for compiler components written in different languages to interoperate.

ruby's expressivity together with static typing

Fifth is a exciting project to develop a new programming language that has all the capabilityits of C to develop low-level drivers, but uses a postfix syntax and has many high-level features from LISP and ML.

This is a collection of several simple functional languages all based on combinator graph reduction techniques for interpretation. For now there's only one package here: lazy-l, which is an interpreter for Alonzo Church's untyped lambda calculus.

Native code compiler for Standard ML 97 and associated libraries and tools.