Search Results for "sml"
Sort By:
Showing 18 open source projects for "sml"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
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. -
Enterprise-grade ITSM, for every businessFreshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
-
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
-
Forever Free Full-Stack Observability | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
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
