Skip to content
View dbohdan's full-sized avatar

Organizations

@imathsoft @tclssg @adhokku @iuy @Neat-Lang @remarshal-project @liveviews

Block or report dbohdan

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Stars

Standard ML

13 repositories

Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.

Standard ML 407 45 Updated Jan 26, 2024

A version of the 1997 SML definition with corrections and some proposed Successor ML features added.

TeX 207 10 Updated Aug 15, 2024

Generic package manager for Standard ML libraries and programs

Standard ML 171 7 Updated Jan 14, 2026

A custom parser/auto-formatter for Standard ML

Standard ML 91 18 Updated May 10, 2026

Standard ML package for regular expressions

Standard ML 7 1 Updated Jan 9, 2026

The Standard ML compiler that produces Lua/JavaScript

Standard ML 453 13 Updated Jun 5, 2026

A Standard ML Compiler for the Web

Rust 386 11 Updated Sep 21, 2022

The MLton repository

Standard ML 1,077 136 Updated Feb 27, 2026

Web site for standardml.org.

HTML 37 6 Updated Oct 17, 2023

A command-line parser for Standard ML

Standard ML 22 1 Updated Dec 29, 2025

SML# compiler

LLVM 251 32 Updated Dec 8, 2025

Command line option parsing for Standard ML

Standard ML 6 Updated Sep 25, 2023

A functional fluent API generator

Standard ML 36 Updated Dec 30, 2022