Standard ML plugin for VIM
☆13Oct 23, 2013Updated 12 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:
- Sml for vim☆33May 29, 2017Updated 9 years ago
- syntax highlighting and filetype detection for systemd unit files☆46May 8, 2025Updated last year
- Bill's Utilities for Gambit Scheme☆17Oct 6, 2020Updated 5 years ago
- ☆10Sep 29, 2017Updated 8 years ago
- Starter kit for VueJS + VueX + Typescript + Webpack + Daptin + MySQL + DockerCompose☆14Mar 2, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A "port" of plucid that works on OS X☆12Oct 25, 2014Updated 11 years ago
- Type declarations for Node's Buffer class☆10Jul 5, 2023Updated 2 years ago
- Docear: An Academic Literature Suite for Searching, Organizing and Creating Academic Literature☆13Nov 1, 2012Updated 13 years ago
- The Yak☆16May 11, 2018Updated 8 years ago
- a tiny logfmt emitter for clojure☆17Jan 23, 2015Updated 11 years ago
- Assignments for the cryptography engineering course☆12Dec 17, 2013Updated 12 years ago
- ☆14Nov 3, 2025Updated 7 months ago
- Haskell implementation of the InterPlanetary File System☆14Jul 30, 2014Updated 11 years ago
- A docker-compose file to set up a full DDB Cluster☆12Sep 29, 2017Updated 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.
- A blog about Coq☆11Mar 21, 2021Updated 5 years ago
- a quick scraper-spider for offline reading of documents organized in annoying "html book" format☆10Jan 12, 2016Updated 10 years ago
- A minimal typographical rehash of Wikipedia designed for screen readability.☆15Sep 6, 2023Updated 2 years ago
- Construct your personal API☆18Dec 7, 2022Updated 3 years ago
- Indexing/curating/documenting Siri Shortcuts on RoutineHub.☆15Oct 29, 2022Updated 3 years ago
- Say hello to ErlangRump an Erlang Microkernel powered by Rumprun unikernel☆14Sep 4, 2016Updated 9 years ago
- [ARCHIVED] Quadgrid for GDPR compliance☆11Jan 5, 2026Updated 5 months ago
- Event-driven bidirectional channels☆14Feb 17, 2016Updated 10 years ago
- TAG spec review on keygen and use of client certificates in the web platform.☆15Sep 28, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Obsidian CSS snippets to tweak UI and harmonize various plugins.☆11Jul 18, 2024Updated last year
- Sample/reference launcher app for WSL distro Microsoft Store packages.☆10Jun 13, 2019Updated 6 years ago
- the ultimate yak shave☆23Jul 17, 2020Updated 5 years ago
- A Pythonista utility (meant to be put in the action menu) that allows you to add a home screen icon for any script☆11Dec 22, 2014Updated 11 years ago
- Scientific Note Taking☆14Oct 29, 2016Updated 9 years ago
- ☆11Jun 1, 2019Updated 7 years ago
- UDP-only netcat implementation with OCaml / MirageOS☆15Mar 21, 2017Updated 9 years ago
- Rust Git Client☆13Nov 16, 2021Updated 4 years ago
- ☆14Aug 14, 2025Updated 9 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Awesome List for Infrastructure as Code☆15Jul 15, 2017Updated 8 years ago
- A plugin for obsidian md that adds a filterable graph view☆12Jan 26, 2021Updated 5 years ago
- Fine-grained lattice primitives for Haskell☆18Mar 8, 2018Updated 8 years ago
- A protoc plugin for generating OCaml code from protobuf (.proto) files.☆17Nov 30, 2019Updated 6 years ago
- Draw technical dimension lines in Latex / TikZ☆17Apr 16, 2024Updated 2 years ago
- Proof of Assets (PoA) is a scheme designed to let entitites (operators) prove that they control a given amount of Bitcoin or other blockc…☆27Nov 16, 2015Updated 10 years ago
- A devops configuration management tool that responds to events, with a chef-like dsl.☆14Mar 11, 2019Updated 7 years ago