Search Results for "sml"

Curated roadmap to Programming Language Theory, collecting seminal papers, books, and resources into a navigable structure for self-study. It spans foundational topics like lambda calculus, type systems, interpreters, compilers, and formal semantics, while also pointing to contemporary areas such as effect systems, dependent types, and verification. Each section clusters materials by theme so learners can build understanding step by step instead of grazing at random. The list emphasizes...

GPS log file viewer and analyzer with support for GPX, TCX, KML, FIT, IGC, NMEA, SLF, SML, LOC, GPI, GeoJSON and OziExplorer files.

Synthetic Microbial Loop - This project contains all the codes used to we have assemble a synthetic ecosystem to assist the systems-level investigation of diatom-bacteria biological association. The results obtained are described in https://www.biorxiv.org/content/early/2018/07/28/379131.

The Gateways Team of the Live-Virtual-Constructive Architecture Roadmap Implementation (LVCAR-I) effort is developing a set of tools that will support the gateway community. One of these tools is the Simulation Data Exchange Model (SDEM) Mapping Language (SML) Editor. The tool provides the ability to import two SDEMs in their native language and subsequently view the entities that need to be mapped between the two SDEMs. The SDEM Editor also allows the user to create these mappings and store the result in an SML file.

...There are a number of apps called PocketSNES hence naming this "Hot PocketSNES". See https://sourceforge.net/p/hot-pocketsnes/wiki/History/. This SDL port of PocketSNES builds/works on: * Native Dingoo - sml port (NOTE expects to be in a:\game\3d\pocketsnes) * Open Dingux - SDL video and libao sound * Linux x86 - SDL video and libao sound (note also has SDL audio but has sound issues, libao is recommended) SELECT + START brings up the menu. http://wiki.hot-pocketsnes.googlecode.com/hg/screenshots/menu.png Looking for Public Domain/Homebrew SNES games? ...

Project moved to separate repositories at github: http://github.com/melsman/draw2d http://github.com/melsman/sml-llvm

The system of mathematical logic to students and teachers universities written in C # and F #. Supplemented by libraries written in F # and its own scripting language SML.

Standard ML of Sønder Tranders.

Tiger compiler for AMD64 architecture implemented in SML (font/back end) and C (runtime).

DocBook sml maintains multilingual documentations, generates fully automated artifacts(html,pdf,xml,txt), uses DocBook XSL,Saxon,Xalan,FOP,Lynx, is driven by Ant,Yax, supports Computer Aided Translation and runs standalone or in an IDE like Eclipse.

Es handelt sich hier um ein Plugin-Projekt für Eclipse, ins Leben gerufen, da wir an der Uni SML programmiert haben und ich einfach keine manierliche Entwicklungsumgebung finden konnte.

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

WinSMLEdit is a Win32 IDE for the SML programming language.

The aim of this project is to export the xfigure library (.xfig) to provide free stencils/shapes for kivio (.sml) and OpenOffice.org/StarOffice (.sxd,.wmf). The images (over 900) can be used in the OpenOffice.org`s Gallery.

As of Soar 8.6.0, SGIO is no longer supported. It has been replaced by the SML interface (which is cross-platform and supports Java, Tcl, and possibly other languages by the time you read this). See http://sitemaker.umich.edu/soar for more information.

The Standard ML project supports coordination between different implementations of the Standard ML (SML) programming language by maintaining common tools and resources such as standard test suites.

The exception analyzer statically detects may-uncaught exceptions from Standard ML programs. The analyzer is completely embedded in the SML/NJ 110, to be interactively used inside the compiler's print-eval loop and also CM.

A personal link exchange manager for sml to med websites- enables the creation of html formatted link display blocks (vertical or horizontal)-saved to txt files-then included anywhere on webpages for "Adsense" style display-for recip or paid links