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 doma
GD4O is an OCaml interface to the GD graphics library. It provides OCaml developers a means to generate and manipulate bitmap images. TrueType fonts and antialiased drawing are supported. GD4O is based on OCamlGD 0.7, developed by Shawn Wagner.
XML Universal Packet Archiver (PKT) is a platform independant universal file archiving system with pluggable options for encryption, encoding, compression, parity/RAID protection and more.
A typed XML processing language that integrates XML schema languages into the type system of the programming language. (XDuce is pronounced "transduce".)
It is the ambition of this project to create and support a process for civil society organisations to maintain effective websites that is as simple as possible, but no simpler.
The Atom writer is developed to assist the user create an Atom 1.0 standard document which also provides recommended links to user’s FOAF and OTER documents. The Atom writer make use of J2SE, JDom, Rome 0.8, Joda Time and JUD UUID Generator Libraries
A web application architecture for Objective Caml that enables the creation and management of dynamic content.
This project collects tools created by members of the Internet Hosting Cooperative to aid in management of a shared Internet server. Different tools target different audiences, including Internet/UNIX experts and newbies. They should be useful to any g
DRINKS is a set of smart web-based widgets.
The DUML project is 3 sub-projects: 1) Document Update Markup Language (DUML) which allows for updates of the DOM via server markup 2) Interpreted Application Markup Language (IAML) which provides markup based widgets. 3) A set of common libraries (JAS).
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
Small or experimental software projects developed by Nada Amin
Slashthemes is a skin and themes repository for the phpslash project. Yet another stuff themes.org doesn't do...
A wiki-like system where users maintain a relational database with arbitrary tables instead of a flat set of pages
This project is for credit in UIUC's CS327 Software Engineering class. This is a class scheduler written in ocaml and python, using a web interface. The feature list will be decided as the project progresses.
The dream of Leibniz. A project devoted to realising the lingua characteristica and calculus ratiocinator using XML technologies where appropriate. Includes (at this stage mainly consists of) research in philosophy and logic.
The Application System Xcaml (AS/Xcaml) is a full-featured web-application architecture based on Xcaml, a web-oriented syntax extension of the Objective Caml language.
XMLbase is a new specification/engine for writing databases in pure XML. It is currently incomplete, and is in need of developers. Its key advantage is that you could share database files between applications, and even distribute them over the internet.
aphasia is an advanced scripting language for the web. It features a type-safe core, C++ modules with signatures, an optimizing "compiler", higher-order functions, built-in database support, garbage collection, and more.
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.
Exquisite is a survey generator that uses a simple domain-specific language for specifying a survey. The generator creates a specialised perl script for your survey. It allows you to use perl code for specifying validators and error handling etc.
Webqueue is a native download manager for win32, similar to Go!Zilla or GetRight. However, webqueue is free, extensible, and supports scripting.
PHP/Mysql based Guild website portal for world of warcraft guilds. It will provide the guild with a place to maintain member information, professions, dkp, forums, raid planner / signups, guild bank items etc.