Top 205 Standard ML open source projects

Tool for checking trace equivalence for security protocols

OCaml ppx to include binary data from a file as a string

Library containing the definition of S-expressions and some base converters

Authenticated encryption scheme prover/synthesizer

XCP toolstack domain manager

A tool for creating new OCaml projects with OPAM, Oasis, and Merlin

Eclipse Project for Concurrency Utilities

An OpenType font format encoder & decoder written in OCaml

A simple Tiger to MIPS compiler, written in Standard-ML

Component Architecture test suite and example apps.

Exercism exercises in Standard ML.

APL compiler written in Standard ML

A timetracker and a page generator

No description, website, or topics provided.

Library for Standard ML

All the sources and documentation for Oracc

Sketch's evaluating engine compiled to Javascript with js_of_ocaml

MLton for scalable multicore architectures

Type inference in OCaml

kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)

If you want to install cups on your openwrt router to share a usb printer or to enable airprint on your old usb/network printer follow these steps.

Phylogenetic Application written in OCaml and C

[PoC] Rescript is a scripting runtime for ReasonML

No description, website, or topics provided.

The examples from "The Little MLer" in OCaml and ReasonML

Official Implementation for "Seq2seq Fingerprint: An Unsupervised Deep Molecular Embedding for Drug Discovery".

A web browser built in Julia Language from the ground up.

The sparkling monad library

S-expression parsing library

Barry's Emacs is an easy to use yet powerful text editor

A CSS parser written in OCaml

No description, website, or topics provided.

Statistische Analyse und Visualisierung der täglichen Diagnoseschlüssel der deutschen COVID-19 Tracing-App (Corona-Warn-App).

A tool to generate a website from an opam repository

The next version of Facete

Udon C Compiler: C compiler for our original CPU

A PPX extension for big array literals in OCaml

Runtime assertion checking based on Gospel specifications

An OCaml binding for the openai-gym toolkit to develop and compare reinforcement learning algorithms.

Lab of the course Languages, Compilers and Interpreters (Cod. 653AA) @ UNIPI

A best-first-search theorem prover implemented in Isabelle

js_of_ocaml bindings for ReactJS. Based on ReasonReact.

DOrder -- Automatically Learning Shape Specifications

B-tree (Bayer, not binary) library in OCaml

Symbolic financial contract EDSL

Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.

Tutorial de OCaml para iniciantes na Linguagem.

Pure OCaml bindings to the Discord API. Mirror of Gitlab repo.

OCaml code generator and runtime library for handling typed tree-sitter CSTs

Bitcoin Core release signatures (gitian)