Index
All Packages
All Categories
By Author

ap (3)
cp (3)
dp (3)
exe (3)
gui (0)
gui/gtk (0)
gui/tk (4)
io (1)
lib (11)
math (0)
net (9)
nlp (18)
op (4)
os (2)
program (3)
sp (2)
tool (9)
wp (2)
xml (2)

Chorus Project (sfb 378)

mogul:/chorus/beta: 
mogul:/chorus/clls-examples:Some clls constraints.
mogul:/chorus/clls-solver-ke:A semi decision procedure for CLLS.
mogul:/chorus/dominance-solver-dd:A solver for dominance constraints.
mogul:/chorus/dominance-solver-km-leda:graph based solver and satisfiability test for normal dominance constraints
mogul:/chorus/dominance-solver-sm:a graph-based solver for normal dominance constraints with set operators
mogul:/chorus/dominance-solver-sm-leda:solver for weakly normal dominance constraints, implemented in C++/LEDA
mogul:/chorus/dominance-solver-st:graph based solver for the enumeration of all solved forms of a normal dominance constraints
mogul:/chorus/dominance-solver-st-leda:graph based solver and satisfiability test for normal dominance constraints
mogul:/chorus/dynamic-tree-graphics:Dynamic forest of Oz values with graphical interface.
mogul:/chorus/parser/tdg:Outdated experimental TDG system for chorus5 (2002) but still running. <P> Should be replaced by XDG of Ralph Debusmann
mogul:/chorus/solver: 
mogul:/chorus/usp-beta/jn:Underspecified beta reduction.

Bruno Carton

mogul:/keving/net/twikistore:Use a Twiki page as a global, persistent dictionary

Ralph Debusmann

mogul:/debusmann/xdk:XDG Development Kit (XDK)

Denys Duchier

mogul:/chorus/dominance-solver-dd:A solver for dominance constraints.
mogul:/debusmann/xdk:XDG Development Kit (XDK)
mogul:/duchier/coli/tkdag:graphical display of word-DAGs (syntax trees, thematic role DAGs, ...)
mogul:/duchier/config:Flexible initialization of application parameters
mogul:/duchier/expat:A SAX-like XML processor using Jame Clark's expat library, and a parser derived from it
mogul:/duchier/inputsource:a class for reading data from an arbitrary sequence of heterogenous sources such as files, urls, strings and virtual strings.
mogul:/duchier/mehlhorn:graph-based satisfiability test for dominance constraints
mogul:/duchier/select:implements the selection constraint e.g. S={Select.fs [S1 ... Sn] I}
mogul:/mozart/ozmake:a tool for project building and package management

Andreas Franke

mogul:/afranke/installer:Installer Tool for Oz functors
mogul:/mathweb/html:a variant of Open.html for use with objects
mogul:/mathweb/httpd:A Simple HTTP Server
mogul:/mathweb/xmlparser:converts XML Document Type Definitions (DTDs) into Oz Parsers (Gump)

Nils Franzén

mogul:/franzen/browsercontrol:Control your webbrowser from Mozart
mogul:/franzen/ozh:Documentation tool for Mozart. Creates HTML API descriptions of functors, much like javadoc

Kevin Glynn

mogul:/keving/net/twikistore:Use a Twiki page as a global, persistent dictionary

Erik Klintskog

mogul:/klintskog/ozmessagetrace:A tool for viewing logs from distributed Mozart

Filip Konvicka

mogul:/fkonvick/ldictionary:List Dictionary
mogul:/fkonvick/rbtree:Red-Black Tree
mogul:/fkonvick/unicode:Unicode Support

Torbjörn Lager

mogul:/lager/brill-tagger:A part-of-speech tagger/noun-phrase chunker
mogul:/lager/gump-tokenizer:A Gump-based natural language tokenizer
mogul:/lager/levenshtein:Two modules (one in C, one in pure Oz) for measuring edit distance between two strings
mogul:/lager/porter-stemmer:A Porter stemmer written in C and linked into Oz
mogul:/lager/sentence-splitter:A simple sentence splitter
mogul:/lager/simple-tokenizer:A simple tokenizer for natural language
mogul:/lager/text-categorizer:An N-gram-based text categorizer/language recognizer

Kurt Mehlhorn

mogul:/duchier/mehlhorn:graph-based satisfiability test for dominance constraints

Anna Neiderud

mogul:/neiderud/message-simulator:A graphical simulator of nodes passing messages

Joachim Niehren

mogul:/chorus/dominance-solver-dd:A solver for dominance constraints.
mogul:/chorus/dynamic-tree-graphics:Dynamic forest of Oz values with graphical interface.
mogul:/chorus/usp-beta/jn:Underspecified beta reduction.
mogul:/niehren/assignment:Substitutions on recursive data structures.
mogul:/niehren/base:Base environment extension. Data structures: stacks, queues, bags. Generators: counters and gensym. URI resolver .
mogul:/niehren/binary:Conversion of Oz values to binaries and back.
mogul:/niehren/configuration:configurations for packages or modules
mogul:/niehren/context-free-grammar:Transformations on context free grammars.
mogul:/niehren/davinci:Graph drawing with DaVinci: a professional tool.
mogul:/niehren/error:Alternative error handling.
mogul:/niehren/external-process:External processes and how to connect them to Mozart.
mogul:/niehren/inspector-space:A fully functional Inspector.
mogul:/niehren/lift/syntax/german:A formal grammar system for a German lift control.
mogul:/niehren/output:Configurable output devices
mogul:/niehren/shell:Execute shell commands with return-values within Oz. A short-paths converter for Windows is made available this way.
mogul:/niehren/typed-unif-grammar:Natural language modelling with typed unification grammars: parsing and conversion to context-free grammars.
mogul:/niehren/unif-grammar:Parsing with unification grammars for modelling natural language.

Kari Pahula

mogul:/kaol/nntp:NNTP protocol library
mogul:/kaol/protocol:general TCP protocol library

Mahmoud Rafea

mogul:/mahmoud/oztclodbc:OzTclODBC supports the use of comercial DBMS using ODBC interface provided by the tclodbc package developed by Roy Nurmi(http://www.solagem.fi/~rnurmi/tclodbc.html)
mogul:/mahmoud/xmlparser:A pure Mozart XML parser

Andreas Sundstrom

mogul:/franzen/ozh:Documentation tool for Mozart. Creates HTML API descriptions of functors, much like javadoc

Guido Tack

mogul:/tack/DecisionTree:Decision Trees
mogul:/tack/TkTreeWidget:A tree drawing widget for Tk
mogul:/tack/iozsef:IOzSeF - The Integrated Oz Search Factory

The Omega / Mathweb Initiative

mogul:/mathweb/mathweb:The Mathweb Distribution Framework
mogul:/mathweb/mosh:A Mozart Shell
mogul:/mathweb/omutils:Some functors for OpenMath translation
mogul:/mathweb/share:Basic Libraries used by other MathWeb packages
mogul:/mathweb/xmlrpc:A simple XMLRPC Server

Peter van Roy

mogul:/vanroy/clientserver:A tool for making open, robust, distributed, concurrent client/server applications.

Juergen Zimmer

mogul:/mathweb/cs:A special Constraint-Solver for proof planning handling non-linear constraints.