📜 Syntax highlighting and auto indentation for clingo/gringo.
☆13Jul 22, 2022Updated 3 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
Sorting:
- 🗝️ Rust bindings to the clingo library☆34Jan 27, 2025Updated last year
- 🕸️ A visualizer for graphs defined as logic programs☆31Oct 12, 2024Updated last year
- 🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner☆66Jul 30, 2025Updated 7 months ago
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/☆11May 29, 2017Updated 8 years ago
- A VSCode Extension that uses the Clingo Answer Set Solver (bundled), developed by Potassco (University of Potsdam).☆10Dec 1, 2025Updated 3 months ago
- Figuring out the best words to use for the first guess in WORDLE☆12Jan 4, 2023Updated 3 years ago
- Packages CodeScene in one container, Nginx proxy with self-signed cert in another, and composes them to one service. Ideas from codeclou/…☆13Aug 1, 2021Updated 4 years ago
- [Deprecated] eXo Platform in a Docker container☆10Dec 9, 2025Updated 2 months ago
- A plugin to allow Jenkins Steps with Cadence vManager API☆10Jan 15, 2026Updated last month
- BeeHive: a flexible open hardware platform for behavioural experiments☆11Nov 28, 2025Updated 3 months ago
- ☆38Nov 11, 2024Updated last year
- my dotfiles managed with stow, for macos, nvim, terminal and more☆24Updated this week
- The availability of the government of the United States of America☆142Nov 13, 2025Updated 3 months ago
- Open source slanted desktop audio-monitor stand☆10Jun 7, 2024Updated last year
- An RP2040 Pico Based Very Simple Polyphonic Synthesizer☆16Jun 18, 2024Updated last year
- ☆11Mar 31, 2023Updated 2 years ago
- ☆24Jan 11, 2026Updated last month
- 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…☆11Sep 24, 2023Updated 2 years ago
- Example of clingo usage on website as a client-side JS program☆14Aug 27, 2019Updated 6 years ago
- ☆12Jul 4, 2014Updated 11 years ago
- ☆16Feb 18, 2026Updated 2 weeks ago
- Project template for Outer Wilds mods. Change this description if you use the template to make a mod.☆11Oct 23, 2022Updated 3 years ago
- Rebuilds the manpage index database on-demand to speed-up pacman operations.☆11Aug 28, 2016Updated 9 years ago
- Declarative unit testing for Answer Set Programming projects☆12Mar 4, 2018Updated 8 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- A gecko code practice file generator for everyone's favorite game: Super Mario Sunshine☆10Jan 26, 2026Updated last month
- Webster's Revised Unabridged Dictionary, 1913 edition.☆11Sep 1, 2020Updated 5 years ago
- ☆13Oct 24, 2025Updated 4 months ago
- Ethernet powered and controlled LED strip driver and more☆13Dec 25, 2024Updated last year
- A paint program for the Game Boy☆11Aug 27, 2021Updated 4 years ago
- ☆12Apr 8, 2019Updated 6 years ago
- higher order functions for function composition, laziness, backtracking, and other magic☆18Jun 8, 2019Updated 6 years ago
- Docker image for ino☆10Jul 14, 2015Updated 10 years ago
- Solid-compatible chat discussion applet for solid-panes framework☆10Updated this week
- An authenticated peer-to-peer network overlay☆10Oct 23, 2025Updated 4 months ago
- A clib package for the makeheaders command http://www.hwaci.com/sw/mkhdr/☆13Dec 11, 2014Updated 11 years ago
- Tools for analyzing how the Rust ecosystem is using the language☆12Jan 21, 2015Updated 11 years ago
- A bare-bones tool for converting JSON5 to plain JSON.☆13Aug 20, 2022Updated 3 years ago
- Nanoloop source files for the album "Prime 16"☆11Updated this week