Top 205 Standard ML open source projects

Theory Exploration for Isabelle using HipSpec

Source code for MyTourbook

OCaml with typed algebraic effects

A statically-typed programming language based on "F-ing modules"

cmsc330 Fall 2017 Public Repository

An implementation of the Logo programming language in OCaml

DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)

Monadic let-bindings

Logitech Craft VS Code extension and Logitech Options plugin

Patched version of HOL Light with tactic logging for machine learning purposes

Several translations of segment trees for CMU's 15-451 (Algorithms).

microkanren in sml

SML On Stilts

Simple framework for testing Standard ML code.

Simple C Compiler in OCaml

The MLPolyR programming language, revived

RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.

Manipulate INI files from the command line

Serialization library for OpenFlow

Native compiler backend for esp32

A buffer implementation optimized for immutable strings.

Eclipse Paho MQTT Client for IIoT pilot implementations

BuckleScript bindings for Lwt

OCaml extended with modular implicits

A framework for implementing and certifying impure computations in Coq

CDI TCK

Programs that are used in the Cousineau/Mauny books

A Standard ML compiler that produces Lua/JavaScript

language independent software composition and merging

Public code developed during my MSc study at University of Bologna

This is the Public Source Code to the PVDasm Disassembler

Streaming library for bulk memory operations with Standard ML in MLton

any-dl: generic mediathek-downloader ("generic" means, you also can call it "scrapertool")

Support Bigint, Q (rational numbers) and Z (integer numbers) in BuckleScript.

Library for research in audio analysis, processing and synthesis

No description, website, or topics provided.

The Heterogeneous Tool Set

A metapackage for all PHP quality assurance tools we use at Dealerdirect

McGill socs repository

An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle

Examples of Automatic Differentiation (AD) in many different languages and systems

Unofficial git mirror of the BER MetaOCaml patchset.

This repository contains supplemental files for the REMnux distro and the source files for the Debian packages that the distro installs from the REMnux package repository on Launchpad.

An API to the Moccamaster at the Abakus office

Scheme (R6RS subset) interpreter written in OCaml

EDN reader and writer for Ocaml

No description, website, or topics provided.

Fully verified model checker for realtime systems

OCaml bindings for the PKCS#11 cryptographic API

👨🏻‍🎓 Playground for learning programming languages