A simple sudoku solver written in SWI-Prolog
☆16Jun 2, 2012Updated 13 years ago
Alternatives and similar repositories for prolog-sudoku
Users that are interested in prolog-sudoku are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- DCG utility predicates for Prolog☆10Jan 3, 2015Updated 11 years ago
- Toy web rendering engine in haskell☆34Oct 12, 2015Updated 10 years ago
- Some benchmarks for testing rustc performance☆12Apr 25, 2017Updated 8 years ago
- A collection of cultural data sets and sources & a website to browse them.☆23Jan 21, 2017Updated 9 years ago
- ☆14Dec 17, 2022Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- White/Pink noise generator. Based on 'Noisy.app', which was based on 'Noise'.☆13Oct 29, 2009Updated 16 years ago
- Ulrich Newmerkel's library for reified if, as a prolog pack☆11Aug 11, 2020Updated 5 years ago
- Markdown for Linked Data☆17Apr 4, 2015Updated 11 years ago
- Repositório público para publicação das atas e pautas das próximas reuniões.☆13Mar 23, 2025Updated last year
- Boolean Constraint Solving in Prolog☆48Dec 8, 2024Updated last year
- ☆13Aug 13, 2020Updated 5 years ago
- Compute Emacs Lisp object sizes.☆10Jan 25, 2014Updated 12 years ago
- Create and view high-resolution RTI images in a web browser☆14Oct 21, 2019Updated 6 years ago
- A messy small R package for plotting chess games☆10Nov 21, 2019Updated 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.
- Lua with more or less typing. You type less; we type check.☆14Jan 1, 2026Updated 3 months ago
- Directive for text input autocomplete for Ionic framework☆44Sep 25, 2018Updated 7 years ago
- Projekt för DCAT-AP-SE.☆15Dec 9, 2024Updated last year
- Advanced support for working with RDF in Prolog.☆19Aug 31, 2024Updated last year
- Carpet fractal genetic algorithm☆13Oct 4, 2017Updated 8 years ago
- Miscellaneous projects, too small to warrant their own github projects, in their own subdirectories here.☆14Aug 15, 2020Updated 5 years ago
- phaser 3 video poker game☆17Dec 30, 2022Updated 3 years ago
- Livro Engenharia de Analytics☆29Jan 19, 2026Updated 2 months ago
- Pi-hole Maintenance PRO MAX for Pi-hole v6.x on Raspberry Pi: automated apt updates, Gravity refresh, logging, backups, health checks.☆19Dec 27, 2025Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- This source code provides example for HTML.☆19May 28, 2017Updated 8 years ago
- TEI to RDF translation and persistence☆15Mar 1, 2013Updated 13 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Mar 10, 2015Updated 11 years ago
- Shen KLambda to KLVM translator.☆31Jan 4, 2016Updated 10 years ago
- Game Of Life built using ReasonML and Reprocessing☆24Dec 9, 2022Updated 3 years ago
- 3778's Machine Learning Challenge☆17Jun 21, 2022Updated 3 years ago
- Contributions to BinProlog. See https://code.google.com/p/binprolog/☆10Aug 16, 2013Updated 12 years ago
- Answers to your questions about Perl 7☆19Jul 13, 2020Updated 5 years ago
- Portable Qt-based console for SWI-Prolog by Carlo Capelli☆11Sep 9, 2025Updated 7 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A simple minimax chess engine written in prolog☆11May 8, 2023Updated 2 years ago
- A C# library for composing your core business rules and freeing them from framework-specific validation.☆17May 24, 2016Updated 9 years ago
- Materials for the Strangeloop workshop 'Real World Development Boot Camp In SWI-Prolog'☆20May 26, 2020Updated 5 years ago
- Shen experimental libraries☆149Apr 23, 2019Updated 6 years ago
- Link-Hack is a Hack Lang HHVM version of Amanpreet Singh's Simple PHP Router☆16Aug 12, 2017Updated 8 years ago
- Windows Application Launcher☆11Mar 10, 2024Updated 2 years ago
- Programming challenges☆11Nov 21, 2018Updated 7 years ago