Standard ML plugin for VIM
☆13Oct 23, 2013Updated 13 years ago
Alternatives and similar repositories for vim-sml
Users that are interested in vim-sml are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Bill's Utilities for Gambit Scheme☆17Oct 6, 2020Updated 6 years ago
- A collection of cool stuff accumulated over the years☆16Updated this week
- Hyphenation library in Rust using flat memory-mapped hyphenation dictionaries☆14Jul 30, 2024Updated 2 years ago
- Slack Real Time Messaging API Client☆11Aug 1, 2016Updated 10 years ago
- Fuzzing the Nix interpreter with afl-fuzz☆10Feb 11, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Random permuation generation driver in NetBSD☆11Jan 10, 2017Updated 9 years ago
- A platform for writing OpenFlow controllers☆14Mar 2, 2021Updated 5 years ago
- Drone plugin for deploying with ansible☆15Jul 27, 2018Updated 8 years ago
- Hacky Clojure program to download media from tumblr liked posts☆13Dec 4, 2018Updated 7 years ago
- ☆12Sep 12, 2017Updated 9 years ago
- Sample/reference launcher app for WSL distro Microsoft Store packages.☆10Jun 13, 2019Updated 7 years ago
- A quick and dirty utilty to obtain the necessary parameters to boot a Bhyve instance disklessly.☆12Feb 25, 2015Updated 11 years ago
- A docker-compose file to set up a full DDB Cluster☆12Sep 29, 2017Updated 9 years ago
- The Yak☆16May 11, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆16Nov 6, 2021Updated 4 years ago
- ESP32 projects reference based on the official ESP-IDF taking advantage of OTA MQTT JSON and others☆10Aug 29, 2020Updated 6 years ago
- A "port" of plucid that works on OS X☆12Oct 25, 2014Updated 12 years ago
- Embedded Linux Library☆12Oct 31, 2019Updated 7 years ago
- ErgoCompressed based on Ergodone that's based on ergodox. A more compact version with no functionality sacrificed.☆10Nov 26, 2018Updated 7 years ago
- TAG spec review on keygen and use of client certificates in the web platform.☆15Sep 28, 2017Updated 9 years ago
- Q line editor and full-screen interface editor☆12May 16, 2021Updated 5 years ago
- Say hello to ErlangRump an Erlang Microkernel powered by Rumprun unikernel☆14Sep 4, 2016Updated 10 years ago
- A devops configuration management tool that responds to events, with a chef-like dsl.☆14Mar 11, 2019Updated 7 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆14Nov 3, 2025Updated 11 months ago
- Fork of Joe's Own Editor with complete history☆17Jul 27, 2013Updated 13 years ago
- Curated list of templates for Template.☆18Mar 2, 2024Updated 2 years ago
- PureScript + D3 examples☆13Oct 11, 2016Updated 10 years ago
- Rust Git Client☆13Nov 16, 2021Updated 4 years ago
- Rust binding for fastpbkdf2☆15Jun 29, 2025Updated last year
- jgstew's personal pages☆12Oct 21, 2026Updated last week
- ☆14Aug 14, 2025Updated last year
- Erlang wrapper for OpenBSD's Blowfish password hashing code☆13Oct 30, 2019Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Creates a 3D Model (OpenSCAD) of the PCB in a Fritzing Sketch.☆13Nov 16, 2015Updated 10 years ago
- A rust crate for high-performance content-signing and certificate verification.☆13Oct 22, 2016Updated 10 years ago
- a quick scraper-spider for offline reading of documents organized in annoying "html book" format☆10Jan 12, 2016Updated 10 years ago
- Ruby client for Kubernetes REST API☆11May 25, 2016Updated 10 years ago
- ☆11Jun 1, 2019Updated 7 years ago
- Materials for Graph Models and Graph Networks☆11Jul 6, 2018Updated 8 years ago
- centralized authentication/authorization for Kel☆11Aug 23, 2016Updated 10 years ago