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:
- syntax highlighting and filetype detection for systemd unit files☆46May 8, 2025Updated 10 months ago
- Starter kit for VueJS + VueX + Typescript + Webpack + Daptin + MySQL + DockerCompose☆14Mar 2, 2018Updated 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
- Docear: An Academic Literature Suite for Searching, Organizing and Creating Academic Literature☆13Nov 1, 2012Updated 13 years ago
- The Yak☆16May 11, 2018Updated 7 years ago
- ☆14Nov 3, 2025Updated 4 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
- This repo is deprecated -> goto https://github.com/NixIPFS;☆12Jan 9, 2017Updated 9 years ago
- ☆12Sep 12, 2017Updated 8 years ago
- A docker-compose file to set up a full DDB Cluster☆12Sep 29, 2017Updated 8 years ago
- A blog about Coq☆11Mar 21, 2021Updated 5 years ago
- A minimal example of the Idris C FFI☆14May 15, 2015Updated 10 years ago
- Curated list of templates for Template.☆18Mar 2, 2024Updated 2 years ago
- A minimal typographical rehash of Wikipedia designed for screen readability.☆15Sep 6, 2023Updated 2 years ago
- a quick scraper-spider for offline reading of documents organized in annoying "html book" format☆10Jan 12, 2016Updated 10 years ago
- Indexing/curating/documenting Siri Shortcuts on RoutineHub.☆13Oct 29, 2022Updated 3 years ago
- The (very) small kernel of the LaTTe proof assistant☆12Mar 13, 2025Updated last year
- Say hello to ErlangRump an Erlang Microkernel powered by Rumprun unikernel☆14Sep 4, 2016Updated 9 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.☆10Jul 18, 2024Updated last year
- 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
- UDP-only netcat implementation with OCaml / MirageOS☆14Mar 21, 2017Updated 9 years ago
- ☆14Aug 14, 2025Updated 7 months ago
- Ocaml cross-compiler for Android☆45Oct 10, 2014Updated 11 years ago
- keyboard controller firmware for Atmel AVR and ARM USB families☆14Aug 9, 2021Updated 4 years ago
- Library and example web app for the SAML Web-based SSO profile.☆16Mar 28, 2025Updated 11 months ago
- Python based command line Gist management. Easy access to read and create Gists / snippets.☆15Jul 20, 2020Updated 5 years ago
- Draw technical dimension lines in Latex / TikZ☆17Apr 16, 2024Updated last year
- 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.☆13Mar 11, 2019Updated 7 years ago
- Plugin for Strider-CD to deploy with SSH☆14Nov 15, 2019Updated 6 years ago
- Creates a 3D Model (OpenSCAD) of the PCB in a Fritzing Sketch.☆13Nov 16, 2015Updated 10 years ago
- The DSL FSM☆12Dec 3, 2013Updated 12 years ago
- gBallin KiCad Files☆13Mar 28, 2019Updated 6 years ago
- Fork of TMK controller firmware for my NPH60 custom keyboard☆12Nov 28, 2016Updated 9 years ago