📜 Syntax highlighting and auto indentation for clingo/gringo.
☆13Jul 22, 2022Updated 4 years ago
Alternatives and similar repositories for vim-syntax-clingo
Users that are interested in vim-syntax-clingo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 🗝️ Rust bindings to the clingo library☆43Jan 27, 2025Updated last year
- CECS 342 Lab 4: Logic Languages with SWI-Prolog☆13Nov 19, 2021Updated 4 years ago
- Zeroshot graph for paragraph-by-paragraph academic writing with independent style reviewers☆17Oct 3, 2026Updated last month
- A GitHub bot to help with project maintenance.☆13Nov 29, 2017Updated 8 years ago
- CMake enhanced Karypis METIS library☆15Apr 21, 2026Updated 6 months 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.
- ☆11Jan 8, 2021Updated 5 years ago
- A game I made with my kids☆14Apr 28, 2026Updated 6 months ago
- ☆12Oct 14, 2013Updated 13 years ago
- Hypothesis strategy to generate NetworkX graphs.☆24Sep 15, 2023Updated 3 years ago
- Tool Support, Extensibility & Interfacing for GOLOG languages☆14Nov 6, 2023Updated 2 years ago
- Code to reproduce InterpNET: Neural Introspection for Interpretable Deep Learning☆11Dec 1, 2017Updated 8 years ago
- lineno – Line numbers on paragraphs☆17Aug 21, 2026Updated 2 months ago
- A standalone web app that uses the browser's Web Bluetooth API to control a bike trainer, allows to train on a recorded GPX track.☆16Oct 8, 2026Updated 3 weeks ago
- Bivariate colormap solutions☆19Mar 2, 2021Updated 5 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.
- ☆43Nov 11, 2024Updated last year
- A fictional desktop session of the Pokémon's Pr Chen. Imitating a Windows 11 like user interface, the project has been made using Vite, V…☆12Sep 24, 2023Updated 3 years ago
- Barebone Janet language plugin for Kakoune editor☆13Jul 12, 2022Updated 4 years ago
- Draw or animate with a mouse in your terminal☆11Feb 25, 2023Updated 3 years ago
- Tool to perform various types of inference in probabilistic answer set programs under the credal semantics and with statistical statement…☆11Sep 28, 2026Updated last month
- A template for bootstrapping AbletonLive ControlSurface projects☆14Jan 31, 2022Updated 4 years ago
- OWL API for python, built using rdflib☆14Jul 1, 2014Updated 12 years ago
- My dotfiles (bash, inputrc, neomutt, notmuch, tmux, git, vim)☆11Nov 1, 2024Updated 2 years ago
- a set of command line tools for OWL files powered by owl-api☆21May 29, 2019Updated 7 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.
- Scripts for automatic Google Drive synchronization on Kobo Touch. Depends on kobo-grive.☆18Jan 23, 2014Updated 12 years ago
- 🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner☆74Aug 20, 2026Updated 2 months ago
- Argumentative microtexts annotated with RST, SDRT and argumentation structure☆13Jun 19, 2016Updated 10 years ago
- Latexdiff integration in emacs☆11Mar 28, 2023Updated 3 years ago
- CTU13 CSV Dataset contains Botnet, Normal and Background traffic☆22Feb 2, 2023Updated 3 years ago
- 🍏 A music player app in the style of old iOS (mostly versions 4, 5 & 6).☆15Mar 21, 2023Updated 3 years ago
- agent for aibirds.org competition☆10Oct 3, 2023Updated 3 years ago
- ☆13Jun 18, 2025Updated last year
- Sruth Lùbach: A toy optimization engine☆23Jun 7, 2021Updated 5 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.
- Fast JSON Parser for R☆15Nov 18, 2018Updated 7 years ago
- Practical way to Learn Nim language☆11Nov 15, 2015Updated 10 years ago
- ☆57Oct 12, 2026Updated 3 weeks ago
- Light vim colorscheme for the Friday and other *days.☆13Sep 14, 2021Updated 5 years ago
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/☆11May 29, 2017Updated 9 years ago
- A private second brain desktop app — Tauri 2.x + React + Rust + Ollama☆24Updated this week
- Install nerd-font on linux (pop_os). Script for download and Install nerd-font. Use widely for icon on neovim + LazyVim☆10Apr 23, 2024Updated 2 years ago