Home My Page Projects Code Snippets Project Openings

Project List

44 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2> <3>
3D graphics for Standard ML - 3D graphics library for SML

Register Date: 2006-12-12 16:13

ASDL generator - 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.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2008-05-28 19:09

blume-collab - Collaborative projects involving or hosted by Matthias Blume.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2009-07-17 18:54

blume-misc - Matthias Blume's miscellaneous projects and papers.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2009-07-17 18:55

CML optimization - Explore optimization of CML programs
This project has not yet categorized itself in the Trove Software Map


Register Date: 2006-06-29 15:56

Definition of Successor ML - The Definition of Successor ML
This project has not yet categorized itself in the Trove Software Map


Register Date: 2015-06-06 15:58

diderot - A DSL for image analysis
This project has not yet categorized itself in the Trove Software Map


Register Date: 2009-12-18 14:17

Diderot papers - papers about Diderot
This project has not yet categorized itself in the Trove Software Map


Register Date: 2011-06-03 08:41

ecoop 2007 paper on traits - paper on traits
This project has not yet categorized itself in the Trove Software Map


Register Date: 2006-12-11 15:39

eXene - Multithreaded X-Window System toolkit in CML.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2007-04-18 16:57

Extensible Front End - An extensible front-end to the SML/NJ compiler tool chain.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2009-08-05 21:41

extract-code - extract-code is a tool for extracting code fragments from annotated source code in a format that is suitable for including in a document (e.g., TeX source).
This project has not yet categorized itself in the Trove Software Map


Register Date: 2012-08-28 13:22

hamlet-hacking - Hamlet hacking.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2006-10-17 20:34

Higher-Order Functors - A paper on higher-order functor semantics for TLDI 2010 by George Kuan and David MacQueen.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2010-09-28 20:09

Manticore - Parallel programming language.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2006-09-11 21:49

Manticore benchmarks - Manticore benchmarks
This project has not yet categorized itself in the Trove Software Map


Register Date: 2009-10-06 21:21

Manticore funding - manticore funding proposals
This project has not yet categorized itself in the Trove Software Map


Register Date: 2007-11-12 20:19

Manticore papers - Manticore papers
This project has not yet categorized itself in the Trove Software Map


Register Date: 2006-10-27 14:45

Marvm the Rover Vs. the Moontians - A computer "game" that uses the various parallelism features of Manticore.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2011-03-03 19:10

ML-Doc tools - ML-Doc is a collection of tools for documenting SML libraries.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2011-05-17 14:31

44 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2> <3>