cypok/vim-sml external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

cypok/vim-sml

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/cypok/vim-sml)

Close

cypok / vim-smlView on GitHubMore

• External links
• Readme badge

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.

• wgwoods / vim-systemd-syntax

  View on GitHub
  syntax highlighting and filetype detection for systemd unit files
  ☆46May 8, 2025Updated last year
• billsix / bug

  View on GitHub
  Bill's Utilities for Gambit Scheme
  ☆17Oct 6, 2020Updated 5 years ago
• daptin / vue_typescript_starter_kit

  View on GitHub
  Starter kit for VueJS + VueX + Typescript + Webpack + Daptin + MySQL + DockerCompose
  ☆14Mar 2, 2018Updated 8 years ago
• purescript-node / purescript-node-buffer

  View on GitHub
  Type declarations for Node's Buffer class
  ☆10Jul 5, 2023Updated 2 years ago
• manicmaniac / coconut.vim

  View on GitHub
  Vim syntax highlight and indent definition for coconut.
  ☆19Oct 10, 2017Updated 8 years ago
• Simple, predictable pricing with DigitalOcean hosting • Ad
  Always know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
• aczid / ru_crypto_engineering

  View on GitHub
  Assignments for the cryptography engineering course
  ☆12Dec 17, 2013Updated 12 years ago
• ttscoff / reiki

  View on GitHub
  ☆14Nov 3, 2025Updated 6 months ago
• cleichner / haskell-ipfs

  View on GitHub
  Haskell implementation of the InterPlanetary File System
  ☆14Jul 30, 2014Updated 11 years ago
• pelotom / purescript-d3-examples

  View on GitHub
  PureScript + D3 examples
  ☆13Oct 11, 2016Updated 9 years ago
• pcorey / hello_blockchain

  View on GitHub
  ☆12Sep 12, 2017Updated 8 years ago
• dalmatinerdb / docker-ddb-compose

  View on GitHub
  A docker-compose file to set up a full DDB Cluster
  ☆12Sep 29, 2017Updated 8 years ago
• clarus / coq-blog

  View on GitHub
  A blog about Coq
  ☆11Mar 21, 2021Updated 5 years ago
• timo / cairo-p6

  View on GitHub
  A NativeCall binding to the Cairo 2d graphics library for Perl 6
  ☆11May 5, 2026Updated 2 weeks ago
• fabiospampinato / awesome-template

  View on GitHub
  Curated list of templates for Template.
  ☆18Mar 2, 2024Updated 2 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• paultopia / spideyscrape

  View on GitHub
  a quick scraper-spider for offline reading of documents organized in annoying "html book" format
  ☆10Jan 12, 2016Updated 10 years ago
• Krasjet / wikipedia.rehash

  View on GitHub
  A minimal typographical rehash of Wikipedia designed for screen readability.
  ☆15Sep 6, 2023Updated 2 years ago
• bcongdon / bolero

  View on GitHub
  Construct your personal API
  ☆18Dec 7, 2022Updated 3 years ago
• latte-central / latte-kernel

  View on GitHub
  The (very) small kernel of the LaTTe proof assistant
  ☆12Mar 13, 2025Updated last year
• POWER9BSD / freebsd

  View on GitHub
  FreeBSD src tree (read-only mirror)
  ☆12Jan 14, 2019Updated 7 years ago
• neeraj9 / hello-erlang-rump

  View on GitHub
  Say hello to ErlangRump an Erlang Microkernel powered by Rumprun unikernel
  ☆14Sep 4, 2016Updated 9 years ago
• purescript-deprecated / purescript-channels

  View on GitHub
  Event-driven bidirectional channels
  ☆14Feb 17, 2016Updated 10 years ago
• stblassitude / boot_root_nfs

  View on GitHub
  A quick and dirty utilty to obtain the necessary parameters to boot a Bhyve instance disklessly.
  ☆12Feb 25, 2015Updated 11 years ago
• kegashe / obsidian-css-snippets

  View on GitHub
  Obsidian CSS snippets to tweak UI and harmonize various plugins.
  ☆11Jul 18, 2024Updated last year
• End-to-end encrypted cloud storage - Proton Drive • Ad
  Special offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
• w3ctag / client-certificates

  View on GitHub
  TAG spec review on keygen and use of client certificates in the web platform.
  ☆15Sep 28, 2017Updated 8 years ago
• ghuntley / nixos-wsl-archived

  View on GitHub
  Sample/reference launcher app for WSL distro Microsoft Store packages.
  ☆10Jun 13, 2019Updated 6 years ago
• 0942v8653 / pythonista-homescreen-icon

  View on GitHub
  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
• asmecher / hypothesis

  View on GitHub
  A Hypothes.is integration plugin for OJS
  ☆12Mar 17, 2025Updated last year
• baudren / NoteOrganiser

  View on GitHub
  Scientific Note Taking
  ☆14Oct 29, 2016Updated 9 years ago
• ergoblue / adafruit-src

  View on GitHub
  ☆11Jun 1, 2019Updated 6 years ago
• musha68k / chill-netcat

  View on GitHub
  UDP-only netcat implementation with OCaml / MirageOS
  ☆15Mar 21, 2017Updated 9 years ago
• cwbriones / rgit

  View on GitHub
  Rust Git Client
  ☆13Nov 16, 2021Updated 4 years ago
• ellerbrock / awesome-infrastructure-as-code

  View on GitHub
  Awesome List for Infrastructure as Code
  ☆15Jul 15, 2017Updated 8 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• mikaelho / pythonista-reminderstore

  View on GitHub
  Key-value store using iOS Reminders for persistence and distribution across iOS devices.
  ☆12May 10, 2018Updated 8 years ago
• vouillon / ocaml-android

  View on GitHub
  Ocaml cross-compiler for Android
  ☆45Oct 10, 2014Updated 11 years ago
• ctz / rust-fastpbkdf2

  View on GitHub
  Rust binding for fastpbkdf2
  ☆15Jun 29, 2025Updated 10 months ago
• SouthPawEngineer / qmk_firmware_spe

  View on GitHub
  keyboard controller firmware for Atmel AVR and ARM USB families
  ☆14Aug 9, 2021Updated 4 years ago
• wireapp / saml2-web-sso

  View on GitHub
  Library and example web app for the SAML Web-based SSO profile.
  ☆16Mar 28, 2025Updated last year
• shaun-h / pythonista-snippet-manager

  View on GitHub
  ☆13Feb 29, 2016Updated 10 years ago
• nanopack / hookit

  View on GitHub
  A devops configuration management tool that responds to events, with a chef-like dsl.
  ☆14Mar 11, 2019Updated 7 years ago