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:
- ☆10Sep 29, 2017Updated 8 years ago
- 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
- The Yak☆16May 11, 2018Updated 7 years ago
- Q line editor and full-screen interface editor☆11May 16, 2021Updated 4 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.
- Assignments for the cryptography engineering course☆12Dec 17, 2013Updated 12 years ago
- ☆14Nov 3, 2025Updated 5 months ago
- Beadm and other useful gentoo root scripts☆14Dec 1, 2023Updated 2 years 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
- ☆16Nov 6, 2021Updated 4 years ago
- Advent Of Code (http://adventofcode.com/) solutions☆14Dec 12, 2025Updated 4 months ago
- Curated list of templates for Template.☆18Mar 2, 2024Updated 2 years ago
- Construct your personal API☆18Dec 7, 2022Updated 3 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.
- The (very) small kernel of the LaTTe proof assistant☆12Mar 13, 2025Updated last year
- Materials for Graph Models and Graph Networks☆11Jul 6, 2018Updated 7 years ago
- Advent of code solutions with Haskell☆10Dec 2, 2024Updated last year
- Say hello to ErlangRump an Erlang Microkernel powered by Rumprun unikernel☆14Sep 4, 2016Updated 9 years ago
- Event-driven bidirectional channels☆14Feb 17, 2016Updated 10 years ago
- A quick and dirty utilty to obtain the necessary parameters to boot a Bhyve instance disklessly.☆12Feb 25, 2015Updated 11 years ago
- 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
- 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 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
- An Android app to browse GitHub repositories☆15Nov 17, 2025Updated 5 months ago
- ☆14Aug 14, 2025Updated 8 months ago
- Key-value store using iOS Reminders for persistence and distribution across iOS devices.☆12May 10, 2018Updated 7 years ago
- Ocaml cross-compiler for Android☆45Oct 10, 2014Updated 11 years ago
- A Neovim plugin that uses LLMs to improve the grammar and spelling of natural language text.☆22Feb 12, 2026Updated 2 months ago
- Fork of Joe's Own Editor with complete history☆17Jul 27, 2013Updated 12 years ago
- Rust binding for fastpbkdf2☆15Jun 29, 2025Updated 10 months 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.
- Library and example web app for the SAML Web-based SSO profile.☆16Mar 28, 2025Updated last year
- 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
- ☆13Feb 29, 2016Updated 10 years ago
- A devops configuration management tool that responds to events, with a chef-like dsl.☆14Mar 11, 2019Updated 7 years ago
- Development repository for the fail2ban cookbook☆62Apr 25, 2026Updated last week