Millet, a Language Server for SML

• sml-compiler

  9 198 0.0 Rust

  A compiler for Standard ML, somewhat

  

This is awesome, I will be installing and trying out later today!

I was working on a SML compiler [1] and language server in Rust as well, but I dropped the ball towards the end of 2020 as I had a PhD to finish!

SML is a great language, and I think some better tooling (like a language server) is all that it really needs to be useful.

[1] https://github.com/SomewhatML/sml-compiler

• simple-ismlnj

  1 9 10.0 Python

  SML/NJ simple kernel for Jupyter/IPython Notebook

The bricklayer IDE and bricklayer-lite are SML IDEs FWIU [1]. Could Millet and/or the SML/NJ Jupyter kernel [2] be useful for creating executable books for learning?

[1] https://bricklayer.org/level-1/ :

> Bricklayer libraries provide support for creating 2D and 3D block-based artifacts. Problem-solving and math are used to exercise creative and artistic skills in a fun and innovative environment. Bricklayer integrates with third-party software including: LEGO Digital Designer, LDraw, Minecraft, and 3D Builder (LeoCAD; `dnf install -y leocad`)

[2] https://github.com/matsubara0507/simple-ismlnj

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• mulligan

  1 20 7.5 Standard ML

  A stepping debugger for Standard ML (SML)

It’s a group of mostly current/former CMU 15-150 TAs working on various SML tools, like:

- https://github.com/brandonspark/mulligan

• molasses

  1 17 3.8 Standard ML

  MLB support for CM (the SML/NJ Compilation and Library Manager) (by T-Brick)

• smlfmt

  3 61 5.9 Standard ML

  A custom parser/auto-formatter for Standard ML

• smackage

  2 122 0.0 Standard ML

  Smackage Package Manager for Standard ML

  

• smlpkg

  4 158 3.9 Standard ML

  Generic package manager for Standard ML libraries and programs

  

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

Suggest a related project