Select OCaml opam switches via a menu or using a command
- emacs
- proof-general
- ocaml
- opam
47,133 repositories indexed
889–912 of 924 · Most stars
Select OCaml opam switches via a menu or using a command
A lightweight webhook action engine — execute custom commands, scripts, and forward webhooks based on YAML rules when webhook requests arrive.
DetecDiv provides a comprehensive set of tools to analyze time microscopy images using deep learning methods. The software structure is such that data can be processed either at the command line or using a graphical user-interface. Detecdiv classification models include : image classification and regression, semantic segmentation, LSTM networks to analyze data and image timeseries.
Addon for ember-cli that provides an `ember rename` command
The "interpol" security string interpolation library and the "police" command line tool. Just moved here from https://bitbucket.org/vahidi/interpol
CakePHP Addon for Queue plugin to schedule commands and queue tasks as crontab like DB solution
Symfony bundle to integrate TagDebug library for inspecting and debugging tags in Symfony projects
neovim command runner
This is ESP8266 micropython script designed to serve ESP8266 as web server showing readings from Microchip MCP39F521. Script developed and tested on esp8266-20161110-v1.8.6.bin. Script listens on port 80 and implements following commands:
Command line tool to create static sites with Coleslaw.
Turn any Java, Kotlin or Python project into an AI-ready context file in one command.
⚙️🎵🎚 Multi-Tool for Spotify: PHP command-line application that performs various tasks to enhance your Spotify experience.
A library to facilitate communication between CommandService and QueryService. The Idea is when any event occures in commandService, it should be persisted in QueryService in MongoDb, SqlServer, MySql and PostgreSQL
Use simple commands and scripts as mini plugins
Installs update packages in Sitecore from the command line
Plugin for Vorpal that run defined command if no commands where specified previously
A flexible and powerful command-line parser for go
Quickly create vorpal commands which set a value, or print it if no argument was given.
Command-line tool to extract pathways from a GTFS dataset.
Hunt Console creation easier to create powerful command-line applications.
A Parenscript to Javascript command line compiler and interpreter.
Sitecore command that allows the user to browse to a Sitecore item in a new window
A tiny plugin that sets up an autocommand to `lcd` to relevant root directories when changing buffers
Write meteor package tests with mocha and run them in the browser or from the command line with spacejam.