#

1ml

Here are 4 public repositories matching this topic...

elpinal / modules

Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules

f-ing-modules 1ml

Updated Feb 5, 2023
Haskell

1ml-prime / 1ml

1ML prototype interpreter

hobby-project 1ml

Updated Aug 24, 2020
OCaml

1ml-prime / 1ml-mode

1ML mode for Emacs

emacs hobby-project 1ml

Updated Aug 10, 2020
Emacs Lisp

1ml-prime / 1ml-snippets

Experiments at programming in 1ML

hobby-project 1ml

Updated Jan 8, 2020
Roff

Improve this page

Add a description, image, and links to the 1ml topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the 1ml topic, visit your repo's landing page and select "manage topics."