A simple sudoku solver written in SWI-Prolog
☆16Jun 2, 2012Updated 14 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:
- A ruby-like mixin in Object-C.☆11Jul 2, 2015Updated 11 years ago
- An implementation of the Swirlds Hashgraph - a fair, fast, replicated, Byzantine state machine☆13May 25, 2017Updated 9 years ago
- A React Collection View inspired by UICollectionView☆10Apr 19, 2018Updated 8 years ago
- Patricia/Radix trees for Swift☆17Apr 13, 2015Updated 11 years ago
- Add a parallax top view to any UIScrollView (incl. UITableViews) — just from InterfaceBuilder. #Parallax #ScrollView #TableView #Header☆21Mar 2, 2018Updated 8 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.
- ☆21Nov 5, 2019Updated 6 years ago
- A "port" of plucid that works on OS X☆12Oct 25, 2014Updated 11 years ago
- Combinators for bidirectional JSON parsing☆21May 29, 2014Updated 12 years ago
- Code for the Adzuna Salary Prediction Kaggle competition - http://www.kaggle.com/c/job-salary-prediction Placed 10th out of approximately…☆11Apr 10, 2013Updated 13 years ago
- Small sample android projects using Metaio SDK☆10Jul 18, 2014Updated 12 years ago
- A small library to allow attaching PFFiles to PFObjects in the Parse Local Datastore for iOS☆20Feb 11, 2015Updated 11 years ago
- A PromiseKit category for the Parse SDK☆29Apr 28, 2015Updated 11 years ago
- Building a To Do List Android Mobile App☆21Apr 13, 2019Updated 7 years ago
- Angular directive for linkedin JS API login☆13Mar 27, 2014Updated 12 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Teaching computers to recognize other computers, funded by Impakt.nl☆10Jul 31, 2014Updated 12 years ago
- Using Raspberry Pi, Python, MQTT, Home Assistant, a relay, and a magnetic proximity sensor, I open, close, stop, and report the status of…☆11Nov 7, 2016Updated 9 years ago
- A SmartGate Arduino powered☆12May 1, 2020Updated 6 years ago
- Waktu solat negeri-negeri di Malaysia dan tukaran tarikh Masihi ke Hijrah.☆12Jan 2, 2024Updated 2 years ago
- ☆10Mar 4, 2015Updated 11 years ago
- a Unix command line utility to filter stdin by column numbers☆11Jul 9, 2016Updated 10 years ago
- ☆34Apr 29, 2026Updated 3 months ago
- iOS/Swift demo app and helper function for loading user profile using Facebook SDK☆10Nov 9, 2015Updated 10 years ago
- Contains stuff for github pages, e.g. auto-generated doxygen documentation.☆14Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A solution for streaming H.264, H.263, AMR, AAC using RTP on Android☆15Jun 10, 2015Updated 11 years ago
- genetic inheritance + Conway's Game of Life.☆12Dec 22, 2014Updated 11 years ago
- Elevator Saga solutions (http://play.elevatorsaga.com)☆10Nov 15, 2016Updated 9 years ago
- New Relic plugin for dokku☆13Jun 9, 2015Updated 11 years ago
- ☆10Jun 18, 2021Updated 5 years ago
- Made in Full Kotlin project.☆12Dec 5, 2017Updated 8 years ago
- Example for my question on SO☆14Aug 14, 2015Updated 10 years ago
- An Android Studio template project for OpenCV.☆10Dec 4, 2015Updated 10 years ago
- Counter Label like Twitter App.☆14Jun 16, 2017Updated 9 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.
- Previously, we covered how to use UIImagePickerController in iOS. In this tutorial, we are going to learn how to pick an images from came…☆16Dec 21, 2015Updated 10 years ago
- ☆10Mar 22, 2018Updated 8 years ago
- A comparison of the current iOS feature testing frameworks available.☆23Jul 2, 2015Updated 11 years ago
- iOS annotation view with custom callout bubble☆33Oct 30, 2012Updated 13 years ago
- A crude Django web app that finds places for you to eat nearby using the Zomato API☆12Aug 24, 2017Updated 8 years ago
- Link-Hack is a Hack Lang HHVM version of Amanpreet Singh's Simple PHP Router☆16Aug 12, 2017Updated 8 years ago
- Binding from Bond to Realm made easy☆13Nov 3, 2016Updated 9 years ago