millet
vscli
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
vscli
- Show HN: A CLI tool to quickly launch VSCode projects (& devcontainers)
-
Launching dev containers from code - is impossible?
I also mentioned that I have been working on a small utility named vscli, which enables you to launch Visual Studio Code (vscode) from the command line (CLI) or a terminal user interface (TUI) like this:
-
Dev Containers: Open, Develop, Repeat...
This is why I built vscli, a vscode CLI tool to launch projects and supports Dev Containers. It is written in Rust and includes a simple terminal UI, which allows you to quick-launch your recently opened projects:
- Show HN: A CLI project tool for VSCode with devcontainer support
- VSCLI - A CLI tool to launch VSCode projects, which supports DEV Containers.
- A CLI tool to start VSCode devcontainers more easily
What are some alternatives?
1ml - 1ML prototype interpreter
nvim-dev-container - Neovim dev container support - Mirror of https://codeberg.org/esensar/nvim-dev-container
fling - A fluent API generator
t-rec-rs - Blazingly fast terminal recorder that generates animated gif images for the web written in rust
type-inferencer - hindley-milner algorithm
cli - A reference implementation for the specification that can create and configure a dev container from a devcontainer.json.
mpl - The MaPLe compiler for efficient and scalable parallel functional programming
devcontainers-features - A collection of devcontainer 'features'
flunct - A functional fluent API generator
wslgit - Use Git installed in Bash on Windows/Windows Subsystem for Linux (WSL) from Windows and Visual Studio Code (VSCode)
mlton - The MLton repository
xbase - Develop Apple software products within your favorite editor.