Top 205 Standard ML open source projects

Tools for code analysis, visualizations, or style-preserving source transformation.

Pack JS code fast & easy

A static analyzer for Java, C, C++, and Objective-C

Unison is a file-synchronization tool for POSIX-compliant systems (e.g. *BSD and GNU/Linux), macOS and Windows, with the caveat that the platform must be supported by OCaml. It allows two replicas of a collection of files and directories to be stored on different hosts (or different disks on the same host), modified separately, and then brought up to date by propagating the changes in each replica to the other.

Apache NetBeans

Performant type-checking for python.

The compiler for ReScript.

Adds static typing to JavaScript to improve developer productivity and code quality.

A language that compiles to Bash and Windows Batch

好耶 是女装

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

A tiny implementation of dependent types.

Course Materials for CS 3110 Spring 2020

Sworn compiles Clarity smart contracts into SmartWeave contracts.

OCaml for PIC microcontrollers

MixML prototype interpreter

No description, website, or topics provided.

My practical projects that solved in some programming languages.

semantic visual slam for monocular and stereo camera devices

Lecture course on verified Functional Data Structures

SML Parser Combinator Library

Vult is a transcompiler well suited to write high-performance DSP code

N2O: Standard ML Application Server

A super simple library (with use case) for Js_of_ocaml

Lambdoc is a library providing support for semantically complex documents in Ocsigen web applications

No description, website, or topics provided.

vMX Lightweight 4over6 Virtual Network Function with Snabb in a Docker Container

資訊界連署挺同婚

The Gillian Platform main repository

Smackage Package Manager for Standard ML

[WIP] Faster Implementation of Dialyzer

The language of the future!

A pure OCaml PostgreSQL client library

The original Edinburgh LCF.

my own standard library for OCaml for Js ecosystem, because it's fun to reinvent the wheel

A generalized pattern recognition system for images developed by the Goldberg group at the NIH/NIA.

The Diderot language compiler

Stratified synthesis for learning machine code instruction semantics

A programming language with infinite arrays

Personal configuration for Emacs

ET (IPL) language interpreters and literature

No description, website, or topics provided.

Small Scheme interpreter and compiler

Resilient replicant Shell Programming Library

NASA Ruby

A modern customizable dashboard for OpenStack

Notes taken during university.

Notebooks, worksheets and homework for STA 663 class

explore different techniques to generate LR(k) parsing code