Emacs mode for editing MiniZinc model file
☆12Apr 26, 2023Updated 3 years ago
Alternatives and similar repositories for minizinc-mode
Users that are interested in minizinc-mode are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Analog Simulation of the (*) Vox Venue Bass 100 Pre Amp Section.☆10Mar 8, 2023Updated 3 years ago
- a worker bee for application hives☆12Mar 24, 2026Updated 7 months ago
- Perl based BitTorrent module available on CPAN☆14Oct 11, 2026Updated 3 weeks ago
- A fork of CLSQL☆11Jan 4, 2009Updated 17 years ago
- Access SOAP web services from GNU Emacs. This package is maintained as part of the GNU Emacs source repository☆10Jun 17, 2018Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Emacs package for fuzzy match scoring☆27Sep 8, 2026Updated last month
- Lisp machine X11 keyboard layout☆13Apr 27, 2023Updated 3 years ago
- Python code for computation and experimentation with cut-generating functions, in particular the Gomory-Johnson infinite group problem. B…☆13Mar 31, 2026Updated 7 months ago
- Configuration Tree for Python☆14Nov 28, 2023Updated 2 years ago
- Interactive, regex-based folding☆15Jun 15, 2015Updated 11 years ago
- Externally-stored constant mapping for Elisp☆12Nov 21, 2025Updated 11 months ago
- Convert real-time bidding (RTB) models to the AppNexus Bonsai language☆15Oct 17, 2017Updated 9 years ago
- Major mode for editing and executing AppleScript code☆13Mar 6, 2021Updated 5 years ago
- Pioneer 3at gazebo simulation with ROS plugins ( ROS hydro)☆11Nov 25, 2014Updated 11 years 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.
- (WIP) A Github action that sets up a Doom Emacs environment for CI/CD.☆17Sep 7, 2023Updated 3 years ago
- Draws bar plots in Emacs OrgMode tables☆14Mar 20, 2026Updated 7 months ago
- ☆12Dec 1, 2023Updated 2 years ago
- Generates static file cache for Confluence☆14Jul 26, 2016Updated 10 years ago
- Output stdin as GitHub/Slack/Jira etc... formatted code, lists, or quotes☆15May 30, 2020Updated 6 years ago
- A particle swarm optimizer for general use☆10Nov 21, 2019Updated 6 years ago
- GIS demo: find pubs, restaurants, cafes, etc. using the spatial features of CockroachDB☆18Mar 14, 2026Updated 7 months ago
- perlpod with helm interface☆13May 22, 2023Updated 3 years ago
- A small simple webserver for Self☆13May 2, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Obsolete. For navigation with ROS 2 see https://github.com/ros-planning/navigation2/☆12Apr 22, 2020Updated 6 years ago
- Automate running commands after saving buffers!☆13Aug 30, 2012Updated 14 years ago
- A front-end for fzf☆14Feb 23, 2024Updated 2 years ago
- Emacs functions that zoom in on the text at point.☆21Aug 23, 2015Updated 11 years ago
- A utility for async batch jobs in marimo☆13Mar 12, 2025Updated last year
- Emacs mode to Fabric.☆11Jan 14, 2022Updated 4 years ago
- Scala Ammonite REPL in Emacs term mode.☆14Apr 16, 2020Updated 6 years ago
- VIC - A DSL for programming PIC Microcontrollers☆11Aug 12, 2022Updated 4 years ago
- A common lisp logging library providing context sensitive logging of more than just strings to more than just local files / output stream…☆15Mar 15, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A simple game in Scheme.☆15Dec 30, 2016Updated 9 years ago
- Automatically back up all changes made from emacs to a git repo in ~/.backups☆13Oct 12, 2026Updated 3 weeks ago
- Sparse Surface Adjustment☆16Oct 21, 2013Updated 13 years ago
- DSP functions (utilities) with accompanying examples.☆11Apr 24, 2016Updated 10 years ago
- A docker image for Vertica Community, run as single node or multi node.☆15Nov 8, 2019Updated 6 years ago
- WWW::Mechanize work-alike for Common Lisp☆13May 6, 2018Updated 8 years ago
- Timp - The first multithread library☆93May 21, 2017Updated 9 years ago