Search Results for ".sml"
Sort By:
Showing 18 open source projects for ".sml"
View related business solutions-
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
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. -
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
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
-
Error to trace to log to deploy. One click. No SSH.AppSignal links every error to the trace, the trace to the log, the log to the deploy that shipped it.
-
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
