Software-Karte

This project collects 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. Also included
are libraries for accessing SQL databases.

JSON for Objective Caml is an implementation of
the JavaScript Object Notation for the Objective
Caml programming language. JSON is a lightweight
data interchange format presented as a simpler and
thinner alternative to XML. For more information
on JSON, visit
http://www.crockford.com/JSON/index.html.

The 'AK Web Dyn Designer' is a tool for creating and deploying dynamic Web pages with PHP, XML, and JDBC in a three-tiered model. It provides a
user-friendly GUI with drag 'n drop capability,
with no need for the users to have any specific
programming knowledge. It consists of a client and a server. The client is used to develop Web forms with an SQL query builder that associates queries to Web components. The server accepts deployments from the client and serves pages to Web browsers.

mGTK is glue code to make GTK+ accessible from Standard ML. It provides a convenient way for SML programmers to add GUI features to an applications. mGTK should work on all platforms where both Moscow ML and GTK+ are supported.

WDialog is a system to make dialog-centric Web applications. It imitates the
behavior of widgets found in GUIs, but acts in an HTML/HTTP environment. It
uses its own XML-based UI language, but callbacks are coded in a normal
programming language: either O'Caml or Perl. WDialog is written in Objective
Caml, an ML variant.

ML Kit is a compiler for the programming language
Standard ML.

Type Class付きのOCaml

Lazy-L is an interpreter for pure untyped lambda
calculus using combinator graph reduction
techniques. It is useful as a teaching tool for
those studying combinator logic and lambda calculus.

隠れマルコフモデルを用いて、より自然な変換結果を実現する仮名漢字変換エンジンです。Eggを通じたEmacs上で利用と、uim-manaを通じたuimでの利用が可能です。茶筅に基づいて開発され、ipadicを辞書として使用します。

ToolPeta (つるぺた) は「Ruby - オブジェクト指向 - 豊富なライブラリ + C 文法っぽさ + 頭の悪さ」という特徴を持ったプログラミング言語です。現在、処理系を関数型言語 OCaml で実装しており、規模は 2000 行前後です。コマンドラインでちょっとした計算も可。

PXP is a validating XML parser for the programming language Objective Caml. It strictly implements the full XML-1.0 standard. The XML instance is represented as a tree of objects. It is also possible to access the DTD. PXP means "Polymorphic XML parser" and emphasizes its most useful property: that the API is polymorphic and can be configured such that different classes are used to store different types of elements. PXP contains a user's manual and several example, and has been designed with CGI programming in mind, however is not limited to this field.

SML/NJ Readline is a libreadline interface for SML of New
Jersey, using the nlffi. It includes a typesafe mechanism for
integrating functions and submenus into readline's auto-
completion mechanism.

SwiftSurf is an HTTP proxy that lets you do a lot of things. You can spy, filter, and modify the HTTP requests that your browser sends, as well as the answers it receives. Some of its possible uses include filtering ads, limiting access to a specific domain, or suppressing cookies.