Search Results for "sml"
Sort By:
Showing 18 open source projects for "sml"
View related business solutions-
Gen AI apps are built with MongoDB AtlasMongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.
-
Information Security Made Simple and Affordable | CarbideGet expert guidance and smart tools to launch or level up your security and compliance efforts without the complexity.
-
1
PLT (Programming Languages Theory)
Programming Language Theory
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... -
2
GPXSee
GPS log file viewer and analyzer
GPS log file viewer and analyzer with support for GPX, TCX, KML, FIT, IGC, NMEA, SLF, SML, LOC, GPI, GeoJSON and OziExplorer files.">
-
3
SML
SyntheticMicrobialLoop ; a model of phototroph-heterotroph interaction
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. -
4
SMLEditor
Prototype editor for the SDEM Mapping Language
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. -
Do not waste time with spreadsheetsAcuity PPM provides Senior Leaders and Project Management Teams (PMO's) with lightweight and easy-to-use software to manage the project portfolio. Acuity PPM helps you create and evaluate new project requests through prioritization, financial planning and resource management.
-
5
hot-pocketsnes
Hot PocketSNES SDL emulator for Dingoo and PC
...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? ... -
6
Project moved to separate repositories at github: http://github.com/melsman/draw2d http://github.com/melsman/sml-llvm
-
7
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.
-
8
-
9
-
Supercharge Your Manufacturing with Easy MRP and MES SoftwareFlowlens eliminates stock-outs, shortage and overstocks, avoiding costly production delays. Stay in control of inventory levels and keep production running smoothly with real-time visibility and easy-to-use stock management. Import bulk data with ease.
-
10
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.
-
11
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.
-
12
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.
-
13
-
14
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.
-
15
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.
-
16
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.
-
17
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.
-
18
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
- Previous
- You're on page 1
- Next