| millet | 1ml | |
|---|---|---|
| 6 | 2 | |
| 194 | 262 | |
| - | - | |
| 9.5 | 10.0 | |
| 9 days ago | almost 4 years ago | |
| Rust | OCaml | |
| Apache License 2.0 | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
millet
-
Four Lectures on Standard ML (1989) [pdf]
SML pops up now and again on HN, which is always nice to see. I wrote a language server for SML in an attempt to improve the tooling situation around the language: https://azdavis.net/posts/millet/
The main motivator for why I did this is because we use SML as a teaching language at my university and students always seem to struggle with the error messages and tooling from the compiler.
-
Flunct: Well-typed, fluent APIs in SML
For the IDE use case, I made a language server for SML: https://azdavis.net/posts/millet/
- Programming in Standard ML [pdf]
-
Comparing Objective Caml and Standard ML
I've been using SML with millet language server and VScode.
you can highlight your code and run just the highlighted bits, in your REPL.
https://github.com/azdavis/millet
- Show r/rust: Wrote a toy type inferencer by implementing Hindley-Milner algorithm
1ml
What are some alternatives?
vscli - A CLI/TUI which makes it easy to launch vscode projects, with a focus on dev containers.
mpl - The MaPLe compiler for efficient and scalable parallel functional programming
fling - A fluent API generator
cakeml - CakeML: A Verified Implementation of ML
type-inferencer - hindley-milner algorithm
FStar - A Proof-oriented Programming Language
VisualFSharp - The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
flunct - A functional fluent API generator
Fable: F# |> BABEL - F# to JavaScript, TypeScript, Python, Rust and Dart Compiler
mlton - The MLton repository
min-caml - moved from https://sourceforge.net/p/min-caml/code/