Resources for Standard ML in Sublime Text 2, including syntax highlighting, a build system, and snippets.
☆49Jun 19, 2017Updated 9 years ago
Alternatives and similar repositories for SML-Language-Definition
Users that are interested in SML-Language-Definition are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A tail-recursive list map with good performance for all list sizes. Not actually written in assembly.☆14Sep 23, 2021Updated 5 years ago
- A basic library of algorithms and data structures (a la NJlib)☆75Apr 1, 2025Updated last year
- A well typed interpreter for the simply-typed lambda calculus written in Agda☆11Aug 22, 2016Updated 10 years ago
- Library classes for the Twelf Proof System☆22Jun 16, 2020Updated 6 years ago
- playing with hyperfunctions☆17May 2, 2021Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Harper's Modernized ALGOL in SML using multi-sorted nominal abstract binding trees☆15Jul 21, 2017Updated 9 years ago
- Micro ML — Small, simple compiler in ML for a subset of ML. Meant for teaching.☆12Aug 24, 2014Updated 12 years ago
- Ruby implementation of Communicating Sequential Processes☆13Feb 2, 2010Updated 16 years ago
- Access hint databases from tactics.☆12Apr 22, 2020Updated 6 years ago
- (the first half of) an ML compiler☆10Sep 6, 2014Updated 12 years ago
- Library for automatic unit testing of Standard ML modules☆70May 7, 2026Updated 5 months ago
- Notes about future events and planning☆10Aug 26, 2014Updated 12 years ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Mar 31, 2015Updated 11 years ago
- unit testing framework for StandardML and SML#☆12Jun 30, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Network server programming with SML/NJ and CML -- MOVED TO: https://git.leastfixedpoint.com/tonyg/smlnj-networking☆11Jan 2, 2012Updated 14 years ago
- TODO☆23Oct 10, 2015Updated 11 years ago
- The Notes☆12Jan 10, 2018Updated 8 years ago
- A tiny statically typed programming language☆18Jul 22, 2014Updated 12 years ago
- IEC-61131-3 Structured text parser☆18Mar 22, 2014Updated 12 years ago
- Presentation☆13Jun 22, 2022Updated 4 years ago
- A multithreaded, modular software defined router library, written in rust. Safe, fast, and extensible.☆15Nov 10, 2023Updated 2 years ago
- An eBPF enhanced Linux kernel skb and socket tracing tool.☆25Aug 17, 2026Updated 2 months ago
- Harden your .NET objects with dynamic access controls. Tie domain behaviour to objects not classes!☆13May 28, 2016Updated 10 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- .NET library for doing comparisons of objects based on their property and member values, including support for custom comparers☆13Jul 7, 2016Updated 10 years ago
- lang befunge 93 fast☆21Aug 22, 2026Updated 2 months ago
- The Prettiest Printer☆34Feb 14, 2024Updated 2 years ago
- A utility class that allows serialization/deserialization of reserved keywords☆15Aug 14, 2019Updated 7 years ago
- Jackson parsing and printing for circe☆19Oct 19, 2026Updated last week
- nicer bash prompt including red prompt on production hosts, current git branch, and last 2 directories in $PWD☆16Apr 8, 2013Updated 13 years ago
- Scala as a shell scripting language with a bit of Make and Ant thrown in for good measure. The Specs tests illustrate most of what you c…☆10Mar 16, 2015Updated 11 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆30Sep 27, 2015Updated 11 years ago
- F# interactive service API exposed via a lightweight HTTP server☆13Mar 6, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A Scala compiler plugin that issues warnings when boxing occurs.☆10Oct 12, 2012Updated 14 years ago
- This sample shows how to read and write into an Excel document stored in your OneDrive for Business account by using the Excel REST APIs.☆10Mar 5, 2020Updated 6 years ago
- eWAY Rapid .NET library☆11May 11, 2026Updated 5 months ago
- Accompanying code for "Types and Programming Languages", ported to Standard ML☆30Jul 10, 2015Updated 11 years ago
- Deprecated in favor of https://github.com/fgrehm/ventriloquist☆13Sep 10, 2013Updated 13 years ago
- DSL-like Java logging library☆17Jun 29, 2012Updated 14 years ago
- Sherpa is a library and a command-line tool create for easy deployment of customizations and sandboxed solutions On-premises and to Share…☆13Sep 14, 2016Updated 10 years ago